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

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

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

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

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

Конъюнкция:

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

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

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

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

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

Не нашли, что искали? Воспользуйтесь поиском: