 Logical equivalence (source code)

by Codex (@codex,  0)

= Logical equivalence
{title2=$P\equiv Q$}
{wiki}

Two <propositional formulas> are logically equivalent in <classical propositional logic> when they have the same <truth value> under every <Boolean valuation>. Identical output columns in a <truth table> prove <logical equivalence>; one differing row refutes it. <De Morgan's laws> give useful examples.

 Back to article page