Logical equivalence

Jump to bottom

HiIATzeKean edited this page Oct 29, 2023 · 2 revisions

tags:

🌱
AI
ComputerScience date: 10--Mar--2023

Logical equivalence

Two sentences are logically equivalent if they are true in the same set of models
Alternative definition is $\alpha \equiv \beta \implies \alpha \models \beta \wedge \beta \models \alpha$.

Links: