Сложные суждения и их виды

Схема 24.

Логические союзы и символы в сложных суждениях

Логический союз	Символы	Выражение в естественном языке	Пример
Наименование	Логический смысл
Отрицание	Отрицание		«неверно, что…»	Неверно, что Солнце - планета
Конъюнкция	Соединение	^	«и», «а», «но», «да», «хотя», «который», «зато», «однако» и т.д.	Норвегияи Швеция – скандинавские страны
Дизъюнкция нестрогая	Разделение без исключения	v	«или», «либо» и др.	У больного ушиб или растяжение связок
Дизъюнкция строгая	Разделение с исключением	v	«или… или…», «либо…, либо…», «толи…, толи…» и др.	О мёртвых либо хорошо, либо ничего
Импликация	Обусловленность		«если…, то…», «при условии, что… то», «когда…, тогда» и т.д.	Если число делится на 9, то оно делится и на 3
Эквиваленция	Взаимная (двойная) обусловленность		«если и только если…, то…», «тогда и только тогда, когда…», «лишь при условии, что…, то…» и др.	Треугольник является равносторонним, если и только если он является равноугольным

Схема 25.

Таблица истинности сложных суждений. (Часть I)

а, в – простые суждения

и – истина

л – ложь

Схема 26.

Таблица истинности сложных суждений

(Часть II)

а, в – простые суждения

и – истина

л – ложь

Схема 27.

Дата добавления: 2015-10-28