Výroková logika Flashcards
1
Q
Herbrand
A
R(T) neobsahuje ⊥, právě když je T splnitelná
2
Q
Kompaktnost, Konečná splnitelnost
A
T je splnitelná, právě když ∀S⊆T je S splnitelná
3
Q
Korektnost
A
I. ⊢ A, pak je A tautologie
II. T ⊢ A, pak T ⊨ A
4
Q
Dedukce
A
T ⊢ A ⇒ B, právě když T, A ⊢ B
5
Q
Úplnost
A
I. ⊢ A, právě když ⊨ A
II. T ⊢ A, právě když T ⊨ A
6
Q
Bezespornost
A
T je splnitelná, právě když je bezesporná
7
Q
Syntaktická kompaktnost
A
I. T ⊢ A, právě když ∃S⊆T, S ⊢ A
II. T je bezesporná, právě když ∀⊆T, S je bezesporná
