December2015 Cs Q8
| List I | List II |
| (a) Vacuous proof | (i) A proof that the implication p→q is true based on the fact that p is false |
| (b) Trivial proof | (ii) A proof that the implication p→q is true based on the fact that q is true |
| (c) Direct proof | (iii) A proof that the implication p→q is true that proceeds by showing that q must be true when p is true. |
| (d) Indirect proof | (iv) A proof that the implication p→q is true that proceeds by showing that p must be false when q is false. |
(a) (b) (c) (d)
(A) (i) (ii) (iii) (iv)
(B) (ii) (iii) (i) (iv)
(C) (iii) (ii) (iv) (i)
(D) (iv) (iii) (ii) (i)
- Option : A
- Explanation :
- Vacuous proof is a proof in which the implication p → q is true based on the fact that p is false.
- Trivial proof is a proof in which the implication p → q is true based on the fact that q is true.
- Direct proof is A proof in which the implication p → q is true that proceeds by showing that q must be true when p is true.
- Indirect proof a proof in which the implication p → q is true that proceeds by showing that p must be false when q is false. So, option (A) is correct.
