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