UGC NET CSE | December 2015 | Part 2 | Question: 8

Question

Match the following :

$\begin{array}{clcl}  & \textbf{List-I} & &\textbf{List-II} \\ \text{(a)} & \text{Vacuous} & \text{(i)} & \text{A proof that the implication $p \rightarrow q$ is true based} \\ &\text{proof}&&\text{on the fact that $p$ is false.} \\ \text{(b)} & \text{Trivial} & \text{(ii)} & \text{A proof that the implication $p \rightarrow q$ is true based} \\ &\text{proof}&&\text{on the fact that $q$ is true.} \\ \text{(c)} & \text{Direct} & \text{(iii)} & \text{A proof that the implication $p \rightarrow q$ is true that proceeds} \\ &\text{proof}&&\text{by showing that $q$ must be true when $p$ is true.} \\ \text{(d)} & \text{Indirect} & \text{(iv)} & \text{A proof that the implication $p \rightarrow q$ is true that proceeds} \\ &\text{proof}&&\text{by showing that $p$ must be false when $q$ is false.}  \\ \end{array}$

$\textbf{Codes :}$

• A. $\text{(a)-(i), (b)-(ii), (c)-(iii), (d)-(iv)}$
• B. $\text{(a)-(ii), (b)-(iii), (c)-(i), (d)-(iv)}$
• C. $\text{(a)-(iii), (b)-(ii), (c)-(iv), (d)-(i)}$
• D. $\text{(a)-(iv), (b)-(iii), (c)-(ii), (d)-(i)}$

Answer 1

A is answer

Comments

can u provide the source to learn about the concept/ definitions in above question.? and IS it in the sylaabus of GATE 2021 also?

Answer 2

cms.uhd.edu/faculty/delavinae/F10/Math2405F10/Methods%20of%20Proofs.pdf

A is the answer