Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Potpunost skupa iskaza<br />
Γ je potpun skup iskaza u logici prvog reda akko<br />
za svaki iskaz p ∈ Lp<br />
(i) Γ ⊢p p ili Γ ⊢p ¬p<br />
akko<br />
(ii) Γ |=p p ili Γ |=p ¬p<br />
akko<br />
(iii) Γ, ¬p ⊢p ⊥ ili Γ, p ⊢p ⊥<br />
akko<br />
(iv) Γ, ¬p |=p ⊥ ili Γ, p |=p ⊥<br />
(Sveučiliste u Splitu) Logička <strong>svojstva</strong> i <strong>odnosi</strong> studeni 2008. 36 / 46