Portál:Klasická logika

Klasická logika

• Tautologie
• Hilbertovský kalkul
• Gentzenovský sekventový kalkul
• Kalkul přirozené dedukce
• Věta o úplnosti
• Věta o korktnosti
• Věta o dedukci
• Normální formy formule
• Eliminace kvantifikátorů
• Lindenbaumovo lemma
• Lemma o konstantách
• Axiomatická teorie
• Henkinovská teorie
• Substituce
• Schéma specifikace
• Robinsonova aritmetika
• Peanova aritmetika
• Rosserova věta
• První Gödelova věta a Druhá Gödelova věta

Doporučená literatura

• ŠVEJDAR Vítězslav. Logika: neúplnost, složitost a nutnost. Academia, Praha, 2002. ISBN: 80-200-1005-X.
• DALEN Dirk van. Logic and Structure. Springer, 2004. ISBN: 978-3-540-20879-2.
• SOCHOR Antonín. Klasická matematická logika. Karolinum, 2001.