Kvantifikatorski račun
(~~ )¬A(x) ~~(~~ )˂=> ~~(~~ ~~(~~ )A(x,y ) VALJANE FORMULE ~~(~~ (A(x)˄B(x))˂=>( A(x) ~~˄~~ B(x) ~~(~~ x)(A(x)˅B(x))˂=> ~~(~~ x)A(x)˅ ~~(~~ x)B(x) Def.. Formule A i B su semantički ekvivalentne, ako...
Matematika
Univerzitet u Banjoj Luci
6 stranica
Matematika, Seminarski radovi, Skripte
Objavio natalija02
·