具有下列形式的有效推理叫做反三段论：
如果p并且q则r，
所以，如果p并且不r则不q。
三段论第二格AOO式的有效性可用此推理化归为第一格AAA式的有效性。证明如下：如果PAM，SAP则SAM，所以，如果PAM，SOM则SOP。故此推理取名为反三段论。