Pojęcie zupełności.
- Uniwersytet im. Adama Mickiewicza w Poznaniu
- Semantyka logiczna
Def. 1) Zupełność/niezupełność w sensie klasycznym a) zbiór formuł X jest zupełny (symbolicznie: X e ZUP) wtw dla każdego zdania A, albo A e CnL(X), albo (~A) e CnL(X). b) Zbiór formuł X jest niezupełny (symbolicznie: X e/ ZUP) wtw istnieje zdanie A takie, że A e/ CnL(X) i zarazem (~A) e/ CnL(X) ...