Portál:Klasická logika
Verze z 3. 12. 2014, 21:28, kterou vytvořil Veronika.Kovrzkova (diskuse | příspěvky)
- Tautologie
- Hilbertovský kalkul
- Gentzenovský sekventový kalkul
- Kalkul přirozené dedukce
- Věta o úplnosti
- Korektnost
- Věta o dedukci
- Normální formy formule
- Lindenbaumovo lemma
- Lemma o konstantách
- Henkinovská teorie
- Substituce
- Schéma specifikace
- Š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.