You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Istinitost u modelu<br />
Citat<br />
Zapis za ’p je istinito u modelu M’:<br />
M |=p<br />
’Russell je filozof’ istinito je ako i samo ako predmet imenovan s ’Russell’ pripada<br />
skupu koji je zadan predikatom ’je filozof’.<br />
Neka je M = 〈D, T 〉. M |=Filozof (russell) akko T (russell) ∈ T (Filozof )<br />
(Sveučiliste u Splitu) Logička <strong>svojstva</strong> i <strong>odnosi</strong> studeni 2008. 12 / 46