Logická ekvivalence, důsledek (VL)

(VL = Platí pro výrokovou logiku, pro PK viz 04.1 Logická ekvivalence, důsledek (PL))

#definice Logická ekvivalence a důsledek

Buď a výrokové formule, říkáme že

  • a jsou logicky ekvivalentní, právě když pro každé ohodnocení je
  • je logickým důsledkem , právě když pro každé ohodnocení , pro které je i

Logická ekvivalence

  • Značíme
  • Když i mají vždy stejnou pravdivostní hodnotu pro všechna možná ohodnocení

Logický důsledek