| Modus (ponendo) ponens (MP) | Modus tollendo tollens (MTT) | Modus tollendo ponens (MTP) | |
|---|---|---|---|
|
P ® Q
P ______ Q |
P ® Q
ØQ ______ ØP |
P Ú Q
ØP ______ Q |
P Ú Q
ØQ ______ P |
| Introduktionsregler (I) | |||
|---|---|---|---|
|
P
____ ØØP |
P
Q _____ P Ù Q |
P _____ P Ú Q Q Ú P |
P ® Q
Q ® P ______ P « Q |
| Elimineringsregler (E) | |||
|---|---|---|---|
|
ØØP
____ P |
P Ù Q
_____ P Q |
P Ú P
_____ P |
P « Q
______ P ® Q Q ® P |
| regeln för villkorligt bevis | regeln för indirekt bevis | hypotetiska syllogismregeln | disjunktiva syllogismregeln |
|---|---|---|---|
|
Q
_____ P ® Q |
ØQ ® P Ù ØP
____________ Q |
P ® Q
Q ® R ______ P ® R |
P Ú Q
P ® R Q ® S ______ R Ú S |