„Szerkesztő:Kizin/próba/pelda1” változatai közötti eltérés
Tartalom törölve Tartalom hozzáadva
4. sor:
== Ítéletkalkulushoz példák ==
'''Tautológia, kontradikció'''
;I. Példa
# p∨¬p tautológia
36 ⟶ 38 sor:
Ugyanígy bebizonyítható a 3. és 4. állítás
;II. Példa
<math>p\leftrightarrow q\equiv\lnot p\vee q</math>
; Bizonyítás
: Itt is az igaz-hamis táblázatot hívjuk segítségül
: Tehát azt kell belátnunk (a definíció alapján), hogy mind a két formula ugyanazokra az értékelésekre igazak.
|