Контрольные задания по курсу «Логика» для студентов заочной и дистанционной форм обучения

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

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

ТЕМА 1. Логика как наука о мышлении, ее предмет и задачи

План

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

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

Упражнения

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

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

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

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

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

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

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

5