Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Primjer<br />
1 Prvo tumačenje (predikat U ispunjava uvjet refleksivnosti) omogućuje da se<br />
dokaˇze Spinozin prvi aksiom.<br />
2 Neka je a bilo koji predmet. Na osnovi refleksivnosti odnosa ‘biti u’, znamo<br />
da je a u samom sebi. Tada vrijedi i to da je a u samome sebi ili u nečem<br />
drugom. Budući da je a bio proizvoljno odabran, onda svaki predmet<br />
zadovoljava prethodni uvjet, naime, da je u samome sebi ili u nečem drugom.<br />
3<br />
1 ∀xU(x, x) pretp.<br />
2 a U(a, a) 1/ i∀<br />
3 U(a, a) ∨ ∃y(a = y ∧ U(a, y)) 2/ u∨<br />
4 ∀x[U(x, x) ∨ ∃y(x = y ∧ U(x, y))] 2–3/ u∀<br />
(Sveučiliste u Splitu) Logička <strong>svojstva</strong> i <strong>odnosi</strong> studeni 2008. 46 / 46