Exercise · ZW-LOGICAL-EQUIVALENCE-003 · ★☆☆ Basic
P ⇔ P is...
Choose one option.
Show answer
- B. A tautology
Explanation
\(P\Leftrightarrow P\) is true under every assignment, since \(P\) always matches itself. So it is a tautology.
Review the concept: Logical equivalence
\(P\) and \(Q\) are logically equivalent if they have the same truth value under every assignment.
\[P\Leftrightarrow Q\]
More practice problems: logical equivalence
- ZW-LOGICAL-EQUIVALENCE-001 Two propositions are logically equivalent if...
- ZW-LOGICAL-EQUIVALENCE-002 Which symbol represents logical equivalence?
- ZW-LOGICAL-EQUIVALENCE-004 If two truth tables coincide row by row, the propositions are...
- ZW-LOGICAL-EQUIVALENCE-005 A logical equivalence mainly compares...
- ZW-LOGICAL-EQUIVALENCE-006 By De Morgan, ¬(P∧Q) is equivalent to...
- ZW-LOGICAL-EQUIVALENCE-007 Logical equivalence is usually written...
- ZW-LOGICAL-EQUIVALENCE-008 Which equivalence is correct?
- ZW-LOGICAL-EQUIVALENCE-009 Select the logically equivalent pair.