2. Определите вид сложного суждения и изобразите таблицу истинности используемого в нем логического союза: (суждение не дано).

Деление простых суждений:

Объединенная классификация (по количеству и качеству):

• А — общеутвердительные суждения: Все S есть Р

• I — частноутвердительные суждения: Некоторые S есть Р

• Е — общеотрицательные суждения: Все S не есть Р

• О — частноотрицательные суждения: Некоторые S не есть Р.

Таблицы истинности для логический союзов:

1. Конъюкция — соединительный союз:

В	С	В & С
Истинно	Истинно	Истинно
Ложно	Истинно	Ложно
Истинно	Ложно	Ложно
Ложно	Ложно	Ложно

Конъюкция В & С истина тогда и только тогда, когда оба конъюнкта истинны, и ложна, когда хотя бы один из конъюнктов ложен.

2. Слабая дизъюнкция: B и/или C:

В	С	В v С
Истинно	Истинно	Истинно
Ложно	Истинно	Истинно
Истинно	Ложно	Истинно
Ложно	Ложно	Ложно

Слабая дизъюнкция В v С ложна тогда и только тогда, когда оба дизъюнкта ложны, и истинна, когда хотя бы один из дизъюнктов истинен.

3. Строгая дизъюнкция — строгое разделение: либо B, либо С:

В	С	В ≠ С
Истинно	Истинно	Ложно
Ложно	Истинно	Истинно
Истинно	Ложно	Истинно
Ложно	Ложно	Ложно

Строгая дизъюнкция В ≠ С истина тогда и только тогда, когда В и С имеют разные логические значения, и ложна, когда В и С имеют одинаковые логические значения.

4. Импликация — условный союз: если В, то С:

В	С	В → С
Истинно	Истинно	Истинно
Ложно	Истинно	Истинно
Истинно	Ложно	Ложно
Ложно	Ложно	Истинно

Импликация В → С ложна только в одном случае, если основание И истинно, а следствие С — ложно, и истинна во всех остальных случаях.

5. Эквиваленция — союз эквивалентности: В тогда и только тогда, когда С:

В	С	В ↔ С
Истинно	Истинно	Истинно
Ложно	Истинно	Ложно
Истинно	Ложно	Ложно
Ложно	Ложно	Истинно

Эквивалентное суждение В ↔ С истинно тогда и только тогда, когда оба простых суждения В и С имеют одинаковые логические значения, и ложно, когда В и С имеют различные логические значения.

№18

1. Метод остатков.

Умозаключение — это прием рассуждения, посредством которого из некоторого исходного знания можно получить новое, выводное знание. Вывод импликантен (скрыт) в суждении.

Умозаключение — это всегда процесс. Процесс движения от одной мысли к другой.

Индуктивные методы установления причинной связи явлений (методы Бэкона-Милля):

1. Метод сходства

2. Метод различия

3. Соединенный метод сходства и различия

4. Метод сопутствующих изменений

5. Метод остатков

Метод остатков:

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

Схема метода остатков:

Обстоятельство ABC вызывает явление abc

Обстоятельство B вызывает явление b

Обстоятельство C вызывает явление c

Вероятно, обстоятельство A есть причина явления a.

Ошибки в индуктивных умозаключениях:

7. «поспешное обобщение»

8. «после этого, значит, по причине этого».