Sylabus
Aristotelská logika
Sylogismus, figury
Výrok a vztahy mezi výroky
Vennovy diagramy
Axiomatický systém (dokonalé mody), odvozovací pravidla
Klasická výroková logika
Principy výrokové logiky
Výrok jednoduchý a složený
Pravdivostní hodnota složeného výroku
Pravdivostní tabulky (analýza správnosti argumentu)
Tautologie, kontradikce, platnost
Sémantika a syntax
Hilbertův kalkul pro výrokovou logiku
Klasická predikátová logika
Obecné a částečné výroky
Sémantika a syntax
Struktura, model
Splnitelnost, vyplývání
Srovnání s aristotelskou logikou
Anotace
Základní pojmy: výrok, úsudek, vyplývání, důkaz, pravdivostní hodnota, sémantika, syntax.