„Szerkesztő:Kizin/próba” változatai közötti eltérés
Tartalom törölve Tartalom hozzáadva
Nincs szerkesztési összefoglaló |
|||
453. sor:
=A logikai következmény=
; Definíció
: Γ:formulahalmaz, ψ:formula
: A Γ-beli
| |||
Nincs szerkesztési összefoglaló |
|||
453. sor:
=A logikai következmény=
; Definíció
: Γ:formulahalmaz, ψ:formula
: A Γ-beli
| |||