Naslov
Elementarna logika
(Elementary Logic)

Autori
Kovač, Srećko

Izvornik
Http://filist.fizg.hr/~skovac/index.html

Vrsta, podvrsta
Ostale vrste radova, rukopis

Godina
2000

Ključne riječi
iskazna logika; priročna logika; formula; iskaz; tumačenje; istinitosno stablo; deduktivni sustav; funkcija; istovjetnost
(sentential logic; predicate logic; formula; sentence; interpretation; truth-tree; deductive system; function; identity)

Sažetak
Sustavno se prikazuju iskazna i priročna (predikatna) logika prvoga reda: sintaksa i semantika jezika s definicijama pojma istine, osnovna semantička svojstva, prikazuje se metoda istinitosnoga stabla kao i sustav naravne dedukcije sa svim uključenim izvodnim pravilima. Obrađena je i priročna logika s istovjetnošću kao i funkcije u priročnoj logici.

Izvorni jezik
Hrvatski

Znanstvena područja
Filozofija

POVEZANOST RADA