You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Pitanje valjanosti zaključka<br />
[PITANJE] Kako ispitati je li valjan zaključak s premisama Γ i konkluzijom p?<br />
[POSTUPAK]<br />
Za potvrdan odgovor postoji efektivni postupak i on se sastoji u tome da se<br />
izradi dokaz za p iz Γ (ili za ⊥ iz Γ ∪ {¬p}). Drugim riječima trebamo<br />
pokazati da vrijedi Γ ⊢ p.<br />
Za niječan odgovor potrebno je pronaći “protuprimjer”: model M takav da za<br />
svaki q ∈ Γ vrijedi M |= q, ali M |= p. Drugim riječima trebamo pokazati da<br />
vrijedi Γ, ¬p |= ⊥. Niječan odgovor nema efektivnoga postupka u logici<br />
prvoga reda.<br />
(Sveučiliste u Splitu) Logička <strong>svojstva</strong> i <strong>odnosi</strong> studeni 2008. 28 / 46