13.10.2013 Views

Logicka svojstva i odnosi

Logicka svojstva i odnosi

Logicka svojstva i odnosi

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!