Задания для самостоятельной работы. Задания 1: Приведите следующие суждения к одной из четырех форм SaP, SeP, SiP, SoP по объединенной классификации суждений

Задания 1: Приведите следующие суждения к одной из четырех форм SaP, SeP, SiP, SoP по объединенной классификации суждений, приведите их схемы и принятые в логике обозначения.

Образец: Жизнь-способ существования белковых тел.

По правилу: единичное утвердительное суждение следует рассматривать как предельный случай общеутвердительных (А) суждений.

Все S есть P. общеутвердительное (А) суждение.

1.1. Некоторые сделки являются односторонними.

1.2. В этой деревне огни не погашены.

1.3. Не все выдающиеся музыканты имели абсолютный слух.

1.4. Везувий – действующий вулкан близ Неаполя.

1.5. Сделка, направленная на ограничение правоспособности, не является действительной.

1.6. В любой библиотеке есть книги, к которым обращаются очень редко.

1.7. Многие выдающиеся математики не приняли евклидовой геометрии.

Задания 2. Установите вид сложного суждения, укажите его составные части (простые суждения), запишите суждения с помощью символов, используя логические связки.

Образец: Шторма бояться - в море не ходить.

Явная логическая форма: если бояться шторма, то в море можно не ходить.

А – бояться шторма. Б - можно в море не ходить. Условное суждение.

Схема: Если …., то ….

a →b

2.1. Договор считается заключенным, если между сторонами в требуемой в надлежащих случаях форме достигнуто соглашение по всем известным пунктам.

2.2. Амнистия может быть общей и частичной.

2.3. Эрмитаж расположен на Дворцовой площади, и каждый желающий может его посетить.

2.4. Летом дети много купались, а также плавали на лодке.

2.5. Либо данное число делится на два, либо оно является нечетным.

2.6. Треугольник является равносторонним тогда и только тогда, когда он равноуголен.

2.7. Если мы хотим добиться уважения к закону, мы сначала должны создать закон, достойный уважения.

Задания 3. Определите вид суждения (атрибутивное, суждение отношения, суждение существования), приведите схемы атрибутивных суждений и суждений с отношениями.

Образец: Древние финикийцы основали Карфаген.

Явная логическая форма: все древние финикийцы основали Карфаген.

Суждение атрибутивное.

Схема: Все S есть P.

3.1. Нет правил без исключений.

3.2. Нет повести печальнее на свете, чем повесть о Ромео и Джульетте.

3.3 Севернее островов Новой Земли находятся острова, носящие название «Земля Франца Иосифа».

3.4. Некоторые проблемы человеческой истории до сих пор не решены.

Тема № 5: «Умозаключение».