Контрольная работа: Описание языка логики предикатов

С помощью языка логики высказываний данное предложение можно записать следующей схемой:

p (qr ).

6. Ниже приведены посылки категорического силлогизма. Сделайте из них вывод. Установите, следует ли вывод с необходимостью

А) Н.- осужденный, а осужденный имеет право просить о помиловании. Н.-осужденный.

Вывод: Н.- имеет право просить о помиловании. (Вывод следует с необходимостью).

Б) Алкоголь подтачивает силы человека. Федоров – человек.

Вывод: Алкоголь подтачивает силы Федорова. (Вывод не следует с необходимостью).

Список использованной литературы

1. Бочаров В.А., Маркин В.И. Основы логики. М.,1994.

2. Войшвило Е.К., Дегтярев М.Г. Логика. М., 1994

3. Войшвило Е.К. Понятие как форма мышления // Вопросы философии. 1969. №8.

4. Горский Д.П. Определение. — М.,1985.

5. Горский Д.П., Ивин А.А., Никифоров А.Л. Краткий словарь по логике. — М., 1991.

6. Ивин А.А. Практическая логика. Задачи и упражнения. — М., 1996.

7. Кириллов В.И., Старченко А.А. Логика. М.:"Юрист". 2001

8. Свинцов В.И. Логика. М., 1987.