Logička pitanja i postupci (CROSBI ID 743600)
Druge vrste radova | ostalo
• Obrazovni materijal (nedefinirano )
Podaci o odgovornosti
Kovač, Srećko ; Žarnić, Berislav
hrvatski
Logička pitanja i postupci
Knjiga kroz ekspozicijske tekstove i većinom problemske zadatke i njihova rješenja i komentare uvodi u iskaznu logiku i logiku prvoga reda. Definira se sintaksa i semantika logičkoga jezika prvoga reda. Pravila naravne dedukcije poopćena su tako da mogu biti primjenjiva na različite stilove dokazivanja (Fitchov i Suppes-Lemmonov stil). Glavna logička svojstva i odnosi (konzistentnost, valjanost, slijed, istovrijednost, protuslovlje i drugi) prikazana su i definirana usporedno sa semantičkoga i sintaktičnoga (deduktivnoga) aspekta. Tradicionalni nauk o pojmu sudu i zaključku prikazan je kao dio logike prvoga reda uz upotrebu posebnih, idealiziranih modela. Komentari uz rješenja zadataka često sadrže proširenja i produbljenja logičkoga gradiva.
Dokaz; Fitchov stil dokaza; formula; iskaz; istovrijednost; kanonski dokaz; konzistentnost; logička neovisnost; logička potpunost; logička semantika; logička sintaksa; logički jezik; logika prvoga reda; model; naravna dedukcija; podsuprotnost; pojam; poučak; protuslovlje; razumijevanje; slijed; sud; Suppes-Lemmonov stil dokaza; suprotnost; valjanost; zaključak
nije evidentirano
engleski
Logical questions and procedures
nije evidentirano
Canonical proof; concept; consistency; consequence; contradiction; contratriety; equivalence; Fitch proof style; first-order logic; formula; inference; judgment; logical completeness; logical independency; logical language; logical semantics; logical syntax; model; natural deduction; proof; proposition; subcontrariety; Suppes-Lemmon proof style; validity; theorem; understanding
nije evidentirano
Podaci o izdanju
Zagreb: KruZak
xii+241
2008.
nije evidentirano
objavljeno
978-953-6463-83-1