Logika 1 (OS)
Gradivo obuhvaća opći uvod u logiku i elementarnu logiku: iskaznu logika i logiku prvoga reda s istovjetnošću. Zasebno za iskaznu logiku i za logiku prvoga reda definiraju se jezik, semantika i deduktivni sustav. U sklopu tematike logičkoga jezika, posebno se obrađuje i uvježbava međuprevođenje između logičkoga i naravnoga (hrvatskoga) jezika, i analiziraju odnosi i razlike između dvaju jezika. U okviru semantike daju se semantička pravila vrjednovanja te se obrađuju pojmovi istinitosti, zadovoljenosti formula, zadovoljivosti skupa iskaza, semantičke posljedice, valjanosti zaključka i iskaza, te semantičke istovrijednosti. Uvodi se i semantički definira metoda istinitosnoga stabla. U okviru deduktivnoga sustava daju se dokazna pravila naravne dedukcije, uvježbava se postavljanje i izvođenje formalnoga dokaza, te se obrađuju pojmovi dokažljivosti, sintaktičke valjanosti, poučka, sintaktičke istovrijednosti i nesuvislosti.
Teacher: Srećko Kovač