Kvantifikatorski račun
Def. Predikatska formula se definiše prema sledećim konvencijama: 1. Elementarna formula je predikatska formula 2. Ako su A i B predikatske formule i x promenljiva, tada su (¬A),(A˅ B),(A˄ B),...
Matematika
Univerzitet u Banjoj Luci
6 stranica
Matematika, Seminarski radovi, Skripte
Objavio natalija02
·
