Logical equivalence - HiIAmTzeKean/SC3000-Artificial-Intelligence GitHub Wiki

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:

⚠️ **GitHub.com Fallback** ⚠️