Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Eksplikacije logičkih svojstava i odnosa<br />
Dva pojma za ”dio” jednoga<br />
Primjer<br />
Rasvjetljavanje značenja logika ostvaruje na dva načina: na sintaktički način<br />
unutar teorije dokaza, i na semantički način unutar teorije modela.<br />
Zbog toga se pojmovi o logičkim <strong>odnosi</strong>ma i svojstvima udvostručuju.<br />
Pitanje ‘znače li rečenice p i q isto’ ili, iskazano pomoću naziva koji je malo bliˇzi<br />
teorijskomu, ‘jesu li p i q istovrijedne rečenice’ udvostručuje se u logici u dva<br />
pitanja, u sintaktičko, ‘dokazuje li p rečenicu q i obratno’, i u semantičko, ‘je li p<br />
istinito uvijek kada je istinito q i obratno’.<br />
(Sveučiliste u Splitu) Logička <strong>svojstva</strong> i <strong>odnosi</strong> studeni 2008. 6 / 46