„Szerkesztő:Kizin/próba/pelda1” változatai közötti eltérés
Tartalom törölve Tartalom hozzáadva
2. sor:
Ebben a cikkben példákat láthatsz a [[User:kizin/próba|Matematikai logika]] cikkben leírt definíciókkal, műveletekkel.
== Ítéletkalkulushoz tartozó példák ==
'''Tautológia, kontradikció'''
45. sor:
; 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, ezt külön-külön látjuk be.
| |||