Rules of Inference II

Question 1

Law of Simplification

Answer 1

p ^ q => p
p ^ q => q

Question 2

Law of Conjunction

Answer 2

((p) ^ (q)) => p ^ q

Question 3

Constructive Dilemma

Answer 3

(p -> q) ^ (r -> s) ^ (p v r) => (q v s)

Question 4

Destructive Dilemma

Answer 4

(p -> q) ^ (r -> s) ^ (~q v ~s) => (~p v ~r)

Question 5

Law of Resolution

Answer 5

(p v q) ^ (~p v r) => (q v r)