You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Početna nastava logike<br />
Početna nastava logike svoje polaziˇste ima u predteorijskom razumijevanju<br />
logičkih svojstava i odnosa.<br />
Zadaće:<br />
Omogućiti osvjeˇsćivanje predznanja (preˇsutno učiniti izričitim).<br />
Omogućiti usavrˇsavanje predznanja (putem ovladavanja različitim<br />
postupcima).<br />
...<br />
Zahvaljujući uzajamnoj zamjenljivosti sintaktičkih i semantičkih pojmova u<br />
logici prvoga reda nastavni sadrˇzaji mogu obuhvatiti različite postupke u<br />
različitim dijelovima gradiva jer se svi oni slaˇzu u svojim odgovorima<br />
Na primjer, poučavanje o neposrednim zaključcima i o kategoričkim<br />
silogizmima moˇze se osloniti na dijagramsko zaključivanje [viˇse semantička<br />
metoda gdje pokazujemo da Γ |=p p], na metodu stabala [pokazujemo<br />
Γ, ¬p |=p ⊥] ili na sustav naravne dedukcije [sintaktička metoda, pokazujemo<br />
da Γ ⊢p p].<br />
(Sveučiliste u Splitu) Logička <strong>svojstva</strong> i <strong>odnosi</strong> studeni 2008. 40 / 46