三段论的四种标准形式：
四种标准形式是三段论题型的基础，不管是基本题型还是运用推理规则的题型都是根据四种标准形式变化而来。下面我们逐一讲解四种标准形式：
1、所有a是b+所有b是c所有a是
例如：爱因斯坦是人，所有的人都会死，所以爱因斯坦会死。
艾利斯大学的所有学生都爱吃奶油冰淇淋，所有爱吃奶油冰淇淋的人都嫌自己胖，所以艾利斯大学的所有学生都嫌自己胖。
2、所有a是b+所有b非c所有a非
例如：所有的鲨鱼是鱼，所有的鱼不是哺乳动物，所以所有的鲨鱼不是哺乳动物
所有医生都是男性，所有男性都不喜欢娱乐节目，所以所有医生都不喜欢娱乐节目
3、有些a是b+所有b是c有些a是
例如：有些植物喜光，所有喜光都进行有氧呼吸，所以有些植物进行有氧呼吸。
有些学生喜欢做数学，所有喜欢做数学的人都参加了竞赛，所以有些学生参加了竞赛。
4、有些a是b+所有b非c有些a非
例如：有些明星是演员，所有演员都不会唱歌，所以有些明星不会唱歌。
有些女生喜欢凤凰传奇，所有喜欢凤凰传奇的人不喜欢玖月奇迹。所以有些女生不喜欢玖月奇迹。
形式定义和概念定义的区别？
答：形式定义是指书写而概念定义是理论或经过推理论证得出的结论
论证论点的方法？
常用的论证方法有：引证法、反证法、归谬法、选言证法、分解法、例证法、类比法和喻证法。
论述一：引证法
引证法，又称直接演绎法，它是引用一些已为人们认同的真实判断，运用演绎推理形式从论据直接确立论题的真实性或虚假性的论证方法。
引证法是论证中最常用的方法。
例如，马克思主义不能作为检验真理的标准。因为辩证唯物主义的认识论告诉我们：真理的标准只能是社会实践；而马克思主义本身不是实践，而仅仅是实践的产物；所以，马克思主义不能作为检验真理的标准，这个简单的论证运用的是第二格aee式三段论，虽然论据只有两句话，但逻辑性很强，因为三段论是必然性推理，而论据的真实性也是无可怀疑的。
引证法的一般模式是：
提示：上式中a，b等是作为论据的判断；表示由这些论据可以逻辑地推出p。
除了三段论外，引证法经常运用的推理形式还有假言推理等。
权威的言论常常是人们引用的论据。对权威要做具体分析，无论是政治上的还是科学、学术上的权威，由于有丰富经验和真知灼见，他们的言论对我们具有重要的指导作用；但一种观点之所以是真理，是因为它经得住实践的检验，而不是因为它是权威说过的。因此，对任何权威都不能盲从，权威也会犯错误，尤其是在他们不熟悉的领域。
论述二：反证法
反证法是通过证明与论题相矛盾的论断为假，然后根据排中律确定论题为真的论证方法。
例如，我们必须坚定不移地高举邓小平理论的伟大旗帜。因为旗帜问题至关重要，如果我们丢掉这面旗帜，实际上就是根本否定党的十一届三中全会以来已被实践充分证明了的正确路线，就是要放弃改革开放的基本国策，这是全党、全国人民绝对不会同意的。
反证法的一般步骤是：
第一步：设立反论题要证明一个论题p为真，就先假定一个与p相矛盾的判断非p为真。
第二步：归谬推演从反论题出发，加上其它明显为真的判断，合乎逻辑地推出一个明显虚假的结论q来（如果非p，那么q）。
第三步：证明反论题为假运用充分条件假言推理否定后件式，由q为假，可以必然推出非p为假。
第四步：证明论题为真根据排中律，p和非p不可同假，非p为假，p就必然为真。
上述步骤的基本模式是：
从思维过程分析，反证法总要有上述四个步骤，但在反证法的语言表达中，可以省略其中的一些过程。
例如，上例就省略了第三、第四步的语言表达。
反证法是一种常用的间接论证方法。
论述三：归谬法
归谬法是一种常用的反驳方法。
这种方法由被反驳的判断（对方的论题或论据）合乎逻辑导出一个荒谬的结论，从而揭露它的虚假性。
例如，逆境有利出人才的命题，不但经不住事实（历史的和现实的）检验，而且也经不住逻辑的推敲。试想，如果逆境有利出人才的命题能够成立，那么我们为了造就更多更好的人才，就应该为青少年去创造逆境了，如此推演下去，改善办学条件、创造良好的家庭环境不都反而不利出人才了吗？真是荒谬之极！
归谬法的一般步骤是：
第一步：要证明一个论题p为假，就先假定p为真。
第二步：从p出发，合乎逻辑地推出一个明显虚假的结论q。
第三步：运用充分条件假言推理否定后件式，由q为假，必然推出p为假。
上述步骤的基本模式是：
归谬法所使用的主要推理形式是充分条件假言推理的否定后件式，这是它与反证法相同之处。它们的不同之处是：反证法的目的是确立p为真，而归谬法的目的是为了确定p为假；反证法在运用充分条件假言推理得出非p假的结论后，还要根据排中律推断p为真（尽管在语言表达中这一步可以省略），而归谬法在用充分条件假言推理得出p假的结论时，就已经完成了它的使命。
在语言中，归谬反驳的过程可以省略为一个充分条件假言判断。
例如，如果这辈子杀什么下辈子就变什么，那么这辈子杀人下辈子就会变成人了；如果存在的就是合理的，那么社会上存在的杀人、、抢劫、贪污腐败等等行为不都变成了合理行为吗？；如果按照对方辩友的观点：人性本来就是恶的，那么纳粹屠杀大批犹太人的行为，日本法西斯制造的南京大屠杀就都是符合人性的了，这些语句实际上都是归谬反驳。
归谬法还有一种特殊的形式叫做导出矛盾法，即从被反驳的论题合乎逻辑地推出逻辑矛盾来。
例如，古希腊学者克拉底鲁曾鼓吹：对任何事物所作的肯定或否定都是假的，这等于说世界上一切判断都是假的。对此亚里士多德等人曾给以有力的批驳：如果我们承认世界上一切判断都是假的，那么，世界上一切判断都是假的这个判断本身就是真的（因为它符合事实）；如果我们承认世界上一切判断都是假的，那么，世界上一切判断都是假的这个判断也是假的（根据三段论推理）；这个判断不可能既是真的，又是假的；所以，我们不能承认世界上一切判断都是假的。
导出矛盾法的基本模式是：
导出矛盾法运用的推理形式叫做归谬式推理。
归谬反驳是一种逻辑力量非常强而语言表达又非常简洁的反驳方法，在驳论性文章和辩论中得到广泛的应用。