Kvantifikatorski račun
A ∧ B je zamjena za ￢( A =⇒ ￢ B ) A ∨ B je zamjena za ￢ A =⇒ B, A ⇐⇒ B je zamjena za ( A...
Matematika
Nezavisni univerzitet Banja Luka
13 stranica
Matematika, Seminarski radovi, Skripte
Objavio Jovan789
·
