You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Primjedbai<br />
Primjedba<br />
Vaˇzno je uočiti da zadovoljivost prijevoda neke rečenice običnoga jezika na jezik<br />
iskazne logike nema za posljedicu zadovoljivost njezina prijevoda na jezik logike<br />
prvoga reda. Pojam ‘zadovoljivost prijevoda u logici prvoga reda’ uˇzi je pojam od<br />
‘zadovoljivosti prijevoda u iskaznoj logici’.<br />
Primjer<br />
Rečenica ‘a je P i niˇsta nije P’ dobiva sljedeće prijevode (prijevod rečenice koja se<br />
ne da dalje raˇsčlaniti unutar iskazne logike, upisan je ispod vodoravne crte):<br />
Pa ∧ ¬ ∃xPx<br />
A B<br />
Iskaznologički prijevod A ∧ ¬B jest zadovoljiv, ali prijevod u jeziku logike prvoga<br />
reda nije zadovoljiv. Jednako tako, na sintaktičkoj strani, iz Pa ∧ ¬∃xPx lako<br />
ćemo dokazati ⊥ unutar logike prvoga reda, ali to isto nećemo moći učiniti unutar<br />
iskazne logike za iskaznologički oblik prijevoda.<br />
(Sveučiliste u Splitu) Logička <strong>svojstva</strong> i <strong>odnosi</strong> studeni 2008. 20 / 46<br />
(1)