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

Условным, или импликативным, называют суждение, в котором утверждается, что наличие одной ситуации детерминирует наличие другой.

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

Условное суждение ложно только в одном случае: когда основание истинно, а следствие ложно.

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

Зависимость между основанием и следствием характеризуется свойством достаточности.

Это означает, что истинность основания обусловливает истинность следствия, т.е. при истинности основания следствие всегда будет истинным (см. 1-я строка в таблице).

При этом основание не характеризуется свойством необходимости для следствия, ибо при его ложности следствие может быть как истинным, так и ложным (см. 3-я и 4-я строки в таблице).

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

В форме условных суждений в языке могут быть представлены такие виды объективных связей, как причинные, функциональные, пространственные, временные, правовые, а также семантические, логические и другие зависимости.

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

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

Эквивалентным называют суждение, которое утверждает одновременное наличие либо отсутствие двух ситуаций. Простые в их составе соединены логической связкой «если и только если..., то...».

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

Логическая характеристика этого суждения состоит в том, что истинность утверждения о награждении (р) рассматривается как необходимое и достаточное условие истинности утверждения о наличии права на ношение орденских планок (q).

Точно так же истинность утверждения о наличии права на ношение орденских планок (q) является необходимым и достаточным условием истинности утверждения о том, что данное лицо награждено соответствующими орденом или медалью (р).

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