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, 20:53