Portál:Klasická logika: Porovnání verzí
(Založena nová stránka s textem „ Kategorie: Logiky“) |
|||
| Řádek 1: | Řádek 1: | ||
| + | * [[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]] | ||
[[Kategorie: Logiky]] | [[Kategorie: Logiky]] | ||
Verze z 14. 9. 2014, 19:53
Text je dostupný pod licencí Creative Commons Uveďte autora 3.0 Česko při dodržení případných autorských práv a dalších podmínek
© 2013 ISSN: 2336-5897
