反三段论法
是一种演绎推理方法。以“如果p且q那么r”为前提,得出一个“如果p且非r,那么非q”或“如果q且非r,那么非p”为结论的推理方法。由于演绎推理前提和结论之间的蕴涵关系的两方面是等值的,这两方面可以互推,因此反三段论可表示为:
用日常语言表达(1)(2),反三段论的推理形式如下:如果大前提真并且小前提真,则结论真;所以,如果结论假并且大前提真,则小前提假。
如果大前提真并且小前提真,则结论真;所以,如果结论假并且小前提真,则大前提假。例如:如果所有天鹅都是白色的,并且在澳洲发现的某种鸟是天鹅,则这种鸟是白色的;所以,如果这种鸟不是白色的,并且是天鹅,则并非 ...... (共439字) [阅读本文]>>