Эквивалентные суждения (двойная импликация)

Эквивалентным называют суждение, включающее в качестве составных два суждения, связанных двойной (прямой и обратной) условной зависимостью, выражаемой логической связкой «если и только если..., то...». Например: «Если и только если человек награжден орденами и медалями (р), то он имеет право на ношение соответствующих орденских планок (q)».

Логическая характеристика этого суждения состоит в том, что истинность утверждения о награждении (р) рассматривается как необходимое и достаточное условие истинности утверждения о наличии права на ношение орденских планок (q). Точно так же истинность утверждения о наличии права на ношение орденских планок (q) является необходимым и достаточным условием истинности утверждения о том, что данное лицо награждено соответствующими орденом или медалью (р). Такую обоюдную зависимость символически можно выразить двойной импликацией р q, которая читается: «Если и только если р, то q ». Эквивалентность выражают и другим знаком: р ≡ q.

В естественном языке, в том числе и в юридических текстах, для выражения эквивалентных суждений используют союзы: «лишь при условии что..., то...», «в том и только в том случае когда..., тогда...», «только тогда когда..., то...» и другие.

р	q	P = q
и	И	И
и	Л	Л
л	И	Л
л	Л	И

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

В заключение приведем сводную таблицу условий истинности сложных суждений (рис. 36).

р	q	p q	p q	p ¥q	p→q	p ≡ q
и	И	И	И	Л	и	и.
и	Л	Л	И	И	Л	Л
л	И	Л	и	И	и	Л
л	Л	Л	Л	Л	и	и

Рис. 36

Дата добавления: 2014-11-25