Implication as logical relation – UGC NET Question

In logic, implication is a relation where the truth of one statement guarantees the truth of another. If the antecedent is true, the consequent must also be true in a valid implication. This notion underlies conditional statements of the form “if p, then q”. Therefore the relation described in the stem is called implication.

Option A:
Option A, equivalence, is a stronger relation in which each statement implies the other. While equivalence includes two implications, the stem mentions only a one-way guarantee. Hence equivalence is not the most accurate answer.

Option B:
Option B, contradiction, holds when two statements cannot both be true and cannot both be false. This describes incompatibility rather than one statement ensuring another. Thus contradiction does not fit the stem.

Option C:
Option C, contrariety, involves statements that cannot both be true but may both be false. Again, this does not describe a guaranteeing relation. Therefore contrariety is not appropriate here.

Option D:
Option D correctly names implication as the relation in which the truth of one statement leads necessarily to the truth of another. This matches the one-directional assurance expressed in the question.