Mějme nějaký formální systém výrokové logiky a označme T množinu všech teorémů, které v něm lze odvodit. Dále označme V množinu všech správně utvořených formulí výrokové logiky a P množinu všech tautologií. Které z následujících tvrzení platí?

je-li systém korektní, pak P = T

je-li systém úplný, pak P ⊂ T

je-li systém sporný, pak T = V

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: