Open In App

UGC-NET | UGC NET CS 2015 Dec – II | Question 8

Like Article
Like
Save
Share
Report

Match the following terms:
8

(A) (1)
(B) (2)
(C) (3)
(D) (4)


Answer: (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.

Quiz of this Question


Last Updated : 01 May, 2018
Like Article
Save Article
Previous
Next
Share your thoughts in the comments
Similar Reads