Условия истинности эквивалентного суждения

Суждение р ≡q истинно в тех случаях, когда оба суждения принимают одинаковые значения, являясь одновременно либо истинными (1-я строка), либо ложными (4-я строка). Это значит, что истинность р достаточна для признания истинным q, и наоборот. Отношение между ними характеризуется и как необходимое: ложность р служит показателем ложности q, а ложность q указывает на ложность р.

Суждение р = q истинно в тех случаях, когда оба суждения принимают одинаковые значения, являясь одновременно либо истинными (1-я строка), либо ложными (4-я строка). Это значит, что истинность р достаточна для признания истинным q, и наоборот. Отношение между ними характеризуется и как необходимое: ложность р служит показателем ложности q, а ложность q указывает на ложность р.

Суждение с внешним отрицанием

Суждение с внешним отрицанием — это суждение, в котором содержится информация об отсутствии некоторой ситуации. Такие суждения чаще всего представлены выражением «неверно, что…». Внешнее отрицание выражается символом Ø, который называется знаком отрицания.

Сложные суждения
Соединительные (конъюнктивные))	Разделительные (дизъюнктивные)	Условные (импликативные)	Эквивалентности	С внешним отрицанием
Утверждают одновременное наличие двух ситуаций А Ù В	Утверждается наличие одной из возможных ситуаций 1) нестрогая дизъюнкция А Ú В 2) строгая дизъюнкция А º В	Утверждают, что наличие одной ситуации детерминирует наличие другой. Если …то. Импликация А®В А É В	Утверждают одновременное наличие либо отсутствие двух ситуаций. Если и только если, то… АºВ	Информация об отсутствии ситуации ØА

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

А	В	ØА	(А Ù В)	(А Ú В)	(А º В)	(А®В)	(А º В)
И	И	Л	И	И	Л	И	И
И	Л	Л	Л	И	И	Л	Л
Л	И	И	Л	И	И	И	Л
Л	Л	И	Л	Л	Л	И	И