Раздел IV. КОНТРОЛЬНЫЕ ЗАДАНИЯ ПО КУРСУ «ЛОГИКА»

ДЛЯ СТУДЕНТОВ ЗАОЧНОГО ОТДЕЛЕНИЯ

Контрольная работа по логике является формой отчёта студентазаочника о самостоятельном межсессионном изучении данной учебной дисциплины и допуском к сдаче зачета по «Логике» во время сессии. Контрольная работа включает письменный ответ на теоретические вопросы темы и решение упражнений. Начинать выполнение работы следует с изучения рекомендованной литературы. После уяснения теоретического материала и его письменного изложения можно приступать к решению задач. В конце работы необходимо указать список использованной литературы.

Контрольная работа должна быть правильно оформлена. На обложке работы должны быть указаны фамилия студента, факультет, курс, группа, предмет. На первой странице - номер темы, ее формулировка, план работы.

Тема 1. ЛОГИКА КАК НАУКА О МЫШЛЕНИИ, ЕЕ ПРЕДМЕТ И ЗАДАЧИ

План

1.Мышлениеиязык. Естественныеиискусственные языки.

2.Историялогикииформализациямышления. Языкисчисленияпредикатов.

Упражнения

1.Вставьте в скобки слово-омоним, которое соответствует понятиям, стоящим за скобками:

собака (... ) прейскурант шалость (… ) болезнь металл (… ) кожа животное (… )монах

игральная карта(… )литературное произведение небесное тело (… )морской обитатель одежда балерины (... ) упаковка

2.Запишите на языке исчисления предикатов следующие высказывания: Все члены шенгенского союза являются европейскими государствами; Некоторые зачеты являются дифференцированными;

Ни один из переводов Шекспира не принадлежит X; Некоторые грибы не являются съедобными;

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

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

х (S(x) P(x)).