Rules Of Inference

Question 1

P -> Q
P
Therefore:

Answer 1

Implies Q (Modus Ponens)

Question 2

P -> Q
!Q
Therefore:

Answer 2

!P (Modus Tollens)

Question 3

P
Therefore:

Answer 3

P V Q (Generalization)

Question 4

P ^ Q
Therefore:

Answer 4

P and Q (Specialization)

Question 5

P V Q
!Q
Therefore:

Answer 5

P (Elimination)

Question 6

P -> Q
Q -> R
Therefore:

Answer 6

P -> R (Transitivity)

Question 7

P
Q
Therefore:

Answer 7

P ^ Q (Conjunction)