Logická ekvivalence, důsledek (PL)

Buď a predikátové formule, říkáme že

• a jsou logicky ekvivalentní, právě když pro každou Interpretaci a kontext platí, že je v nich pravdivá, právě když je v nich pravdivá .
• je logickým důsledkem , právě když pro každou Interpretaci a kontext platí, že pokud je v nich pravdivá , pak je v nich pravdivá i .