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 |
---|---|---|---|
[P]
Q ______ P Q |
Q P P
____________ Q |
P Q
Q R ______ P R |
P Q
P R Q S ______ R S |
De Morgans regler (DM) | |||
---|---|---|---|
P Q
__________ (P Q) |
(P Q)
________ P Q |
P Q
__________ (P Q) |
(P Q)
________ P Q |
Kommutativa regler | |||
---|---|---|---|
P Q
______ Q P |
P Q
______ Q P |