„Szerkesztő:Kizin/próba” változatai közötti eltérés
Tartalom törölve Tartalom hozzáadva
187. sor:
Megjegyzés: φ tautológia ⇔ ¬φ kontradikció <br>
[[User:kizin/próba/pelda1|Ezekre pár példa]]
; Definíció
: Két formula ekvivalens, ha ugyanazokra az értékelésekre igazak. Jelölés: <math>\varphi\equiv\psi</math>
Így például: <math>p\leftrightarrow q\equiv\lnot p\vee q</math>
<small>[[User:kizin/próba/pelda1|Bizonyítást itt találod]]</small>
Megjegyzés: <math>\varphi\equiv\psi\Leftrightarrow(\varphi\leftrightarrow\psi)</math> tautológia
| |||