YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Logički kvadrat<br />
p i q su podsuprotni u logici prvog reda akko<br />
akko<br />
{¬p, ¬q} ⊢p ⊥ i {p, q} ⊢p ⊥<br />
{¬p, ¬q} |=p ⊥ i {p, q} |=p ⊥<br />
(Sveučiliste u Splitu) Logička <strong>svojstva</strong> i <strong>odnosi</strong> studeni 2008. 38 / 46
Hooray! Your file is uploaded and ready to be published.
Saved successfully!
Ooh no, something went wrong!
Change language