Rachunek predykatów pierwszego rzędu: Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
m rekurencyjnie przeliczalny, drobne merytoryczne |
m →Podstawowe własności: drobne redakcyjne |
||
Linia 147:
=== Podstawowe własności ===
* '''[[Twierdzenie o zupełności]]''': zbiór zdań ''A'' jest niesprzeczny wtedy i tylko wtedy gdy ma on model (tzn jest spełniony w pewnym modelu języka <math>{\mathcal L}(\tau)</math>.
* '''[[Twierdzenie o zwartości]] II''': zbiór zdań ''A'' ma model wtedy i tylko wtedy gdy każdy jego podzbiór skończony
== Zobacz też ==
|