Математическая логика. - 17 стр.

UptoLike

ВУЗ: 

ПНИПУ | Пермь

Рубрика: 

- 16 - Математическая логика
∃х К(х) & ∀x (K(x) → ¬ Л(х)) ;
¬ ∃х К(х) & ∀x (K(x) → Л(х)) .
СПИСОК ЛИТЕРАТУРЫ.
1.
Клини С. Математическая логика. – М. : Мир, 1973, с. 11 – 126.
2.
Столл Р. Множества. Логика. Аксиоматические теории. – М. : Просве-
щение, 1968, с. 71 – 93, 108 – 132.
3.
Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. –
М. : МГУ, 1982, с. 1 – 95.
4.
Гильберг Д., Бернайс П. Основания математики. Логические исчисления
и формализация арифметики. – М. : Наука, т. 1, с. 23 – 45, 74 – 141.
5.
Новиков П.С. Элементы математической логики. – М. : Наука, 1973, с 36
– 65, 123 – 135.
6.
Гиндикин С.Г. Алгебра логики в задачах. – М. : Наука, 1972. 
                                  - 16 -              Математическая логика


           ∃х К(х) & ∀x (K(x) → ¬ Л(х)) ;
           ¬ ∃х К(х) & ∀x (K(x) → Л(х)) .



                          СПИСОК ЛИТЕРАТУРЫ.
1.   Клини С. Математическая логика. – М. : Мир, 1973, с. 11 – 126.
2.   Столл Р. Множества. Логика. Аксиоматические теории. – М. : Просве-
     щение, 1968, с. 71 – 93, 108 – 132.
3.   Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. –
     М. : МГУ, 1982, с. 1 – 95.
4.   Гильберг Д., Бернайс П. Основания математики. Логические исчисления
     и формализация арифметики. – М. : Наука, т. 1, с. 23 – 45, 74 – 141.
5.   Новиков П.С. Элементы математической логики. – М. : Наука, 1973, с 36
     – 65, 123 – 135.
6.   Гиндикин С.Г. Алгебра логики в задачах. – М. : Наука, 1972.

Страницы