Given two statements, A and B, we can say that A implies B in the Logic of Statements provided that ___________________.
A) A is a tautology
B) B is inconsistent
C) the conditional (A $\rightarrow$ B) is a tautology
D) the bi-conditional (A ≡ B) is contingent

Question

Quizplus · Accepted Answer

In the Logic of Statements, A implies B if and only if the conditional (A → B) is a tautology. Therefore, the correct choice is C, as it states that the conditional is a tautology. A being a tautology and B being inconsistent do not necessarily imply that A implies B, and the bi-conditional being contingent means that A and B can be true or false independently of each other, so it does not necessarily imply that A implies B.

Given Two Statements, a and B, We Can Say That →\rightarrow→

Given Two Statements, a and B, We Can Say That $\rightarrow$