Question

For this formula, say whether it is a tautology, a contradiction, or a contingent statement.

Answer 1

For this formula (P ∨ Q) ↔ (~P → Q). I will say that it is  option A: a tautology.

What is the tautology about?

The fact that  (P ∨ Q) ↔ (~P → Q) and T are logically equal follows from the fact that each statement is logically equivalent to the one before it. Therefore, regardless of what p and q's truth values are, T is the truth value of (pq)(pq). Consequently, (pq)(pq) is a tautology.

So, A tautology is a compound proposition that is consistently true for all conceivable proposition truth values.  It has been established that some of the claims are comparable. In the truth table, their truth values are same. As an illustration, p q is equal to q p. (contrapositive)

Learn more about tautology from

brainly.com/question/4173398
#SPJ1