Uvod u elementarnu logiku (CROSBI ID 741818)
Druge vrste radova | ostalo
• Obrazovni materijal (nedefinirano )
Podaci o odgovornosti
Kovač, Srećko
hrvatski
Uvod u elementarnu logiku
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.
iskazna logika; priročna logika; iskaz; formula; istina; valjanost; zadovoljivost; istinitosno stablo; naravna dedukcija; poučak; pouzdanost; potpunost; maksimalan suvisao skup; omega-potpun skup
nije evidentirano
engleski
Introduction to elementary logic
nije evidentirano
sentence logic; predicate logic; sentence; formula; truth; validity; satisfiability; truth tree; natural deduction; theorem; soundness; completeness; maximal consistent set; omega complete set
nije evidentirano
Podaci o izdanju
Zagreb: [web-stranice na poslužitelju Instituta za filozofiju]
210
2003.
nije evidentirano
objavljeno