Equivalence: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

20 October 2025

  • curprev 14:2814:28, 20 October 2025Bfh-sts talk contribs 897 bytes +897 Created page with "= Equivalence = Equivalence is the logical operation corresponding to "IF AND ONLY IF". It states that two propositions are logically identical in truth value. == Symbols == * p ↔ q (standard notation) * p ⇔ q (alternative) * p IFF q (short for "if and only if") == Definition == The equivalence ''p ↔ q'' is true if ''p'' and ''q'' have the same truth value. It is false if their truth values differ. == Truth Table == {| class="wikitable" ! p !! q !! p ↔ q..."