1 votes 1 votes 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 :}$ $\text{(a)-(i), (b)-(ii), (c)-(iii), (d)-(iv)}$ $\text{(a)-(ii), (b)-(iii), (c)-(i), (d)-(iv)}$ $\text{(a)-(iii), (b)-(ii), (c)-(iv), (d)-(i)}$ $\text{(a)-(iv), (b)-(iii), (c)-(ii), (d)-(i)}$ Discrete Mathematics ugcnetcse-dec2015-paper2 discrete-mathematics propositional-logic + – go_editor asked Aug 8, 2016 • recategorized Nov 8, 2021 by soujanyareddy13 go_editor 1.5k views answer comment Share Follow See all 0 reply Please log in or register to add a comment.
0 votes 0 votes A is answer Prashant. answered Aug 8, 2016 Prashant. comment Share Follow See 1 comment See all 1 1 comment reply sristicse commented Apr 10, 2020 reply Follow Share can u provide the source to learn about the concept/ definitions in above question.? and IS it in the sylaabus of GATE 2021 also? 0 votes 0 votes Please log in or register to add a comment.
0 votes 0 votes cms.uhd.edu/faculty/delavinae/F10/Math2405F10/Methods%20of%20Proofs.pdf A is the answer Azeem answered Oct 11, 2017 • edited Oct 11, 2017 by Azeem Azeem comment Share Follow See all 0 reply Please log in or register to add a comment.