Svaki jezik u kojemu su iskazive sve rečenice prirodnoga jezika ima rječnik koji sadrži modalne operatere. U jeziku logike prvoga reda nisu iskazive sve rečenice prirodnoga jezika. Ako je jedan jezik iskazno jači od drugoga, onda su u njemu iskazive sve rečenice koje su iskazive i u drugome, ali ne i obratno. Jezik logike prvoga reda iskazno je jači od jezika iskazne logike. Hoćemo li dobiti nekonzistentan skup ako zadanim rečenicama pridodamo pojedinu rečenicu iz podzadatka? Označite DA ako se dodavanjem rečenice iz podzadatka dobiva nekonzistentan skup, a NE ako se ne dobiva.
4.1. U jeziku iskazne logike iskazive su sve rečenice prirodnoga jezika.
4.2. Neki jezici imaju rječnik koji ne sadrži modalne operatere.
4.3. Postoje jezici u kojima su iskazive sve rečenice prirodnoga jezika, a koji nemaju rječnik koji sadrži modalne operatere.
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.