Match List I (rule of inference) with List II (symbolic form) and choose the correct answer from the options given below.

List I

i.Constructive Dilemma

ii.Addition

iii.Modus Ponens

iv.Disjunctive Syllogism

List II

a.P v q, ~p, therefore q

b.p ⊃ q, p, therefore q

c.p, therefore p v q

d.(p ⊃ q) . (r ⊃ s), p v r, therefore q v s

Ai-a, ii-c, iii-b, iv-d

Bi-b, ii-a, iii-d, iv-c

Ci-d, ii-c, iii-b, iv-a

Di-c, ii-b, iii-a, iv-d

🔒 Answer hidden — practise on Mcqkart to check yourself and see the explanation.

Want more like this? Create a free account to practise a full test, track your progress, and get spaced-repetition review.