Упражнения
Запишите на языке исчисления предикатов следующие высказывания:
1) "Все члены шенгенского союза являются европейскими государствами"
2) "Некоторые зачеты являются дифференцированными"
3) "Ни один из переводов Шекспира не принадлежит X"
4) "Некоторые грибы не являются съедобными"
1) ∀х (S(x) → P(x)),
2) ∃х (S(x)&Р(х))
3)
∀х
(S(x)> → Р(х))
4)
∃х
(S(x)& Р(х))
Приведите примеры следующих символических выражений:
1) ∀х (S(x) →P(x)).
2)
∀х
(S(x) → P(x)).
3) ∃х (S(x) ∧P(x)).
4)
∃х
(S(x) ∧
P(x)).
1) Все квадраты являются прямоугольниками.
2) Ни у одного человека нет крыльев.
3) Некоторые студенты все сдают на отлично.
4) Некоторые люди по окончании школы не считают нужным учиться дальше.
Использованная литература:
1. Бартон В. И. Логика, Мн.: Новое знание, 2001.
2. Ивин А.А. Логика, М.: Фаир-пресс ,2000.
3. Кириллов В. И., Старченко А. А. Логика. М., 1982.
4. Малыхина Г.И. Логика, Мн.: Выш. шк.,2002.
5. Петров Ю. А. Азбука логичного мышления. М., 1991.
6. Сборник упражнений по логике. Мн., 1990.