Упражнения:

1. Приведите примеры нулевых, единичных и общих понятий.

Нулевые: Эльф, Баба-Яга.

Единичные: первый космонавт, мисс Беларусь – 2012, президент США.

Общие: студенты, пожарники.

2. Запишите на языке исчисления предикатов следующие высказывания:

Все члены Шенгенского союза являются европейскими государствами. - х (S(x) → P(x)),

Некоторые зачеты являются дифференцированными. - х (S(x)) 

Ни один из переводов Шекспира не принадлежит X. - y ( X(y)) 

Некоторые грибы не являются съедобными. - х ( P(x))

3. Приведите примеры следующих символических выражений:

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. Гусев, Д. А. Краткий курс логики. – М.: НЦ ЭНАС, 2003. – 190 с.

2. Кириллов, В. И. Логика / В. И. Кириллов, А. А. Старченко. – М.: Юристь, 2001. – 256 с.

3. Малыхина, Г. И. Логика. – Мн.: Выш.шк.,2002. – 240 с.

4. Google.by