歸謬推理

歸謬推理是複合命題推理的一種推廣形式。由於一命題蘊含邏輯矛盾，從而推出該命題為假的推理。其基本形式為：“如果p那么q，如果p那么非q，所以，非p”。用符號可表示為：((p—q)^（p一q））一p。

如：古希臘學者克拉底魯曾說：“我們對任何事物所作的肯定或否定都是假的。”亞里士多德對此曾反駁說：“克拉底魯的話等於說：‘一切命題都是假的’，而如果一切命題都是假的，那么這個‘一切命題都是假的’命題也是假的”。這就是說，如果“一切命題都是假的”命題是真的，那同時也就意味著：“一切命題都是假的”命題是假的（即“並非是真的”）。這表明克拉底魯所說“我們對任何事物所作的肯定或否定都是假的”這一命題蘊含著邏輯矛盾。據此，就可推出這一命題是假的。歸謬推理是在證明和反駁過程中被經常運用的一種推理。