„Szerkesztő:Kizin/próba” változatai közötti eltérés
Tartalom törölve Tartalom hozzáadva
379. sor:
:; Bizonyítás
:: [[user:kizin/próba/pelda1|itt]]
:; Állítás
:: {¬, ↔} nem teljes
Most bevezetünk két új műveletet, amelyek önmagukban is teljesek
| |||