Naslov
Uvod u elementarnu logiku
(Introduction to elementary logic)

Autori
Kovač, Srećko

Vrsta obrazovnog materijala
Ostalo (nedefinirano)

Izdavač
[web-stranice na poslužitelju Instituta za filozofiju]

Grad
Zagreb

Godina
2003

Stranica
210

Ključne riječi
iskazna logika; priročna logika; iskaz; formula; istina; valjanost; zadovoljivost; istinitosno stablo; naravna dedukcija; poučak; pouzdanost; potpunost; maksimalan suvisao skup; omega-potpun skup
(sentence logic; predicate logic; sentence; formula; truth; validity; satisfiability; truth tree; natural deduction; theorem; soundness; completeness; maximal consistent set; omega complete set)

Sažetak
Skripta prikazuje osnove logike prvoga reda s posebno izdvojenom iskaznom logikom koja služi kao uvod. Rabe se metode istinitosnoga stabla i naravne dedukcije. Prikaz kako iskazne tako i priročne logike u cjelini podijeljen je na jezično-sintaktični dio, semantički dio i dio o deduktivnome sustavu. Poseban dio skripta obrađuje metateoriju logike prvoga reda, gdje se dokazuju pouzdanost i potpunost metoda istinitosnoga stabla i deduktivnoga sustava.

Izvorni jezik
Hrvatski

Znanstvena područja
Filozofija

POVEZANOST RADA