„Szerkesztő:Kizin/próba” változatai közötti eltérés
Tartalom törölve Tartalom hozzáadva
443. sor:
|i
|}
; Állítás
: <math>{\downarrow }</math> teljes
; Bizonyítás
: <math>p\downarrow p\equiv\lnot p</math>
: <math>p\downarrow q\equiv\lnot (p\vee q)\Rightarrow p\vee q\equiv\lnot (p\downarrow q)\equiv (p\downarrow q)\downarrow (p\downarrow q)</math>
: és már bizonyítottuk, hogy {∨, ¬} teljes
|