Jezik predikatskog računa
Formula x1 · · · xn A(x1, . . ., xn ) je univerzalno zatvorenje formule A. Primetimo da∀ ∀ prethodna teorema ne tvrdi da je formula dokazivo ekvivalentna svom...
Informacione tehnologije
Tehnički fakultet „Mihajlo Pupin“
13 stranica
Informacione tehnologije, Seminarski radovi, Skripte
Objavio studenti.rs
·
