Математическая логика и теория алгоритмов
|
1.5 Непротиворечивость и полнота ИВ |
назад | оглавление | вперёд |
       В этом разделе приведем теоремы, касающиеся свойств исчисления высказываний в целом. Приведем необходимые определения.