Упражнения:

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.