22. Сложные суждения (определение, логические связки, формулы).

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

Логические связки:

Символический язык		Естественный язык
Обозначение	Название союза	Название союза	Чем выражен	Смысл союза
~, ¬	Отрицание	Отрицание	“Неверно что”	Отрицание, сомнение
, &, •	Конъюнкция	Соединение	“Вместе с тем”, “и”, “а”, “но”, “да”, “тогда как”, “притом что”	Рядоположность, последовательность, равность, перечисление, одновременность
, ≠,	Слабая дизъюнкция	Соединительно- разделительный	“или”, “или…или”	Выбор альтернативы, вариантность
	Сильная дизъюнкция	Исключающе- разделительный	“либо а, либо б”
	Импликация	Условный	“если…то”	Причинно- следственная связь, обусловленность, зависимость
	Эквивалентность	Взаимообуславливающий	“тогда и только тогда, когда”, “только если”	Взаимозависимость, взаимообусловленность, взаимодействие

Формулы сложных суждений:

Конъюнкция:

Конъюнкция со сложным предикатом: S есть P₁ ^P ₂

Слабая дизъюнкция: (S есть P) V (S есть P)

Импликация: (S есть P) → (S есть P)

Эквивалентность: (S есть P) ≡ (S есть P)

Отрицание: a ~ b

23. Необходимые и достаточные условия истинности суждений (таблицы истинности).

Необходимое условие

Суждение P является необходимым условием суждения X, когда из (истинности) X следует (истинность) P. То есть, если P ложно, то заведомо ложно и X.

Достаточное условие

Суждение P является достаточным условием суждения X, когда из (истинности) P следует (истинность) X, то есть в случае истинности P проверять X уже не требуется.

Необходимое и достаточное условие

Суждение K является необходимым и достаточным условием суждения X, когда K является как необходимым условием X, так и достаточным. В этом случае говорят ещё что K и X равносильны, или эквивалентны.

Таблица истинности:

24. Понятие о логическом законе. Закон тождества

Закон мышления — это необходимая, существенная, устойчивая, повторяющаяся связь между мыслями.

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

Закон тождества - это логический закон, согласно которому мысль (будь то понятие, суждение или умозаключение), введенная однажды в рассуждение, должна оставаться неизменной, однозначно понимаемой на протяжении всего последующего рассуждения, каким бы продолжительным оно ни являлось. То есть, сколько бы раз ни повторялась одна и та же (!) мысль, она должна пониматься одним и тем же способом. ЗТ требует только одного, а именно: он запрещает непроизвольное, неконтролируемое, скрытое изменение содержания наших мыслей. Этот закон запрещает обман, невнимательность, своего рода логическую халатность.

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