Matematička logika
Dokaz. ( → ) Neka je Σ ⊢ A . Tada je Σ ∪{¬A} ⊢ A i Σ ∪{¬A} ⊢¬A, pa je Σ ∪{¬A} nekonzistentan. ( ← ) Neka je...
Matematika
Univerzitet u Novom Sadu
192 stranica
Matematika, Skripte
Objavio emxilia.p
·
