Anotace
Základní pojmy formální logiky, základní otázky logiky. Jazyk výrokové logiky - logická struktura výroku v přirozeném jazyce, sentence (výroky), pravdivostní tabulky, vztah přirozeného jazyka k logické struktuře sentencí, problémy spojek.
Tautologie, kontradikce a splnitelné formule. Pojem logického důsledku - sémantický pojem vyplývání, odvozovací pravidla, pojem důkazu, dokazatelnost, úplnost, rozhodnutelnost.
Základní pojmy predikátové logiky.
Pro tento dotaz bohužel nemáme k dispozici žádné další výsledky.
