Rules Of Inference Flashcards
1
Q
Disjunctive Syllogism
A
((P ⋁ Q) ⋀ ¬P) → Q
2
Q
Conjunction
A
(P ⋀ Q) →(P ⋀ Q)
3
Q
Contraposition
A
(P → Q) → (¬Q → ¬P)
4
Q
Resolution
A
((P ⋁ Q) ⋀ (¬P ⋁ R)) →(Q ⋁ R)
5
Q
Modus Ponens
A
(P ⋀ (P → Q)) → Q
6
Q
Modus Tollens
A
(¬Q ⋀ (P → Q)) → ¬P
7
Q
Material Implication
A
(P →Q) → (¬P ⋁ Q)
8
Q
Simplification
A
(P ⋀ Q) → P
9
Q
Addition
A
P → (P ⋁ Q)
10
Q
Hypothetical Syllogism
A
((P → Q) ⋀ (Q → R)) → (P → R)
