Exercise · ZW-LOGICAL-EQUIVALENCE-008 · ★★☆ Intermediate
Which equivalence is correct?
Choose one option.
Show answer
- A. P∧T ≡ P
Explanation
\(P\wedge T\equiv P\) holds because conjoining with true leaves \(P\) unchanged. The other three equivalences fail.
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-003 P ⇔ P is...
- 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-009 Select the logically equivalent pair.