Matematička logika
1 . ¬G ( S ⊢¬G ) 2 . ¬G → ( ¬H →¬G ) (aksiom (A1)) 3 . ¬H →¬G (mod pon: 1. i 2.) 4 . ( ¬H...
Matematika
Prirodoslovno-matematički fakultet
254 stranica
Matematika, Skripte
Objavio gajaliman
·
