Упражнения:

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

Нулевые («Соловей-разбойник», «Кащей Бессмертный», «Дед Мороз», «вечный двигатель», «марсианский житель);

Единичные («Луна», «город Минск», «первый президент России», «писатель А. С. Пушкин»);

Общие («рабочий», «город», «президент», «писатель»).

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

1) "Все члены шенгенского союза являются европейскими государствами"

2) "Некоторые зачеты являются дифференцированными"

3) "Ни один из переводов Шекспира не принадлежит X"

4) "Некоторые грибы не являются съедобными"

1) ∀х (S(x) → P(x)),

2) ∃х (S(x)&Р(х))

3) ∀х (S(x)> → Р(х))

4) ∃х (S(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. Бартон В. И. Логика, Мн.: Новое знание, 2001.

2. Ивин А.А. Логика, М.: Фаир-пресс ,2000.

3. Кириллов В. И., Старченко А. А. Логика. М., 1982.

4. Малыхина Г.И. Логика, Мн.: Выш. шк.,2002.

5. Петров Ю. А. Азбука логичного мышления. М., 1991.

6. Сборник упражнений по логике. Мн., 1990.