25. Импликативные и эквивалентные сложные суждения, условия их истинности

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

Форму условной связи могут принимать различные виды объективных зависимостей: причинные, пространственно-временные, логические и другие. Пример причинной связи: «Если нагреть воду до 100 градусов при нормальном давлении, то она закипит». Пример логической связи: «Если человек женат, то он не холост» или «Если всякое преступление наказуемо, а кража преступна, то она наказуема».

В естественном языке союз «если.., то» может употребляться для сопоставления. Например: «Если в 1940 г. население Москвы составляло 3 млн, то в 2000 г. оно составляет около 10 млн. человек». Условная связь выражается в языке и такими союзами, как «там.., где», «тогда.., когда», «постольку.., поскольку» и др. В правовых нормах в форме условных суждений фиксируются не только причинные, временные, пространственные и другие объективные связи между явлениями, но и деятельно-волевые предписания в форме разрешения, обязывания или запрета совершать определенные действия.

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

Условия являются необходимыми, если без их выполнения данное событие никогда не наступает. Например, для того чтобы какое-то число делилось на 6, необходимо, чтобы оно делилось на 2.

Условия являются достаточными, если при их выполнении всегда наступает данное событие. Например, для того чтобы какое-то число делилось на 2, достаточно, чтобы оно делилось на 6.

Необходимые условия не всегда бывают достаточными, а достаточные - необходимыми. Но встречаются и такие условия, которые являются необходимыми достаточными. Например, делимость числа на 2 – необходимое, но недостаточное условие для того, чтобы число делилось на 6. Делимость числа на 6 - достаточное, но необходимое условие для того, чтобы число делилось на 2. Делимость числа на 2 и на 3 - необходимое и достаточное условие для его делимости на 6.

Для определения истинности импликации (р → q) сравним ее с какой-либо деятельностью, в которой посылки (условия) представляют собой как бы материал, сырье для умозаключения, а заключение - готовую продукцию. Очевидно, каждый согласится считать деятельность хорошей (доброкачественной), если посредством ее добротный материал превращается в добротную продукцию. Сапожник хорошо шьет сапоги, если он из хорошего материала - кожи - всегда шьет хорошие сапоги. То же можно сказать и об условном суждении. Переход от посылок к заключению является хорошим (правильным), если он из «хороших» (истинных) посылок всегда дает «хорошие» (истинные) заключения. Другими словами, если р - истинно и q - истинно, то импликация истинна. Если же посылки истинны (р истинно), а заключение (q) ложно, то импликация ложна (по аналогии с действиями сапожника, который испортил хороший материал). Если р ложно, a q истинно, то импликация истинна (вполне возможна ситуация, когда сапожник из плохого материала шьет хорошие сапоги). Если р ложно и q ложно, то импликация истинна, так как эта ситуация также допустима (из плохого материала трудно сшить хорошие сапоги). Итак, импликация истинна во всех случаях, кроме одного - когда истинно основание и ложно следствие.

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

Для определения истинности эквивалентности рассмотрим суждение: «Любое деяние следует рассматривать как преступное в том, и только в том, случае, если оно общественно опасно и противоправно» (схематично «р ↔ q»). Истинность р достаточна для признания истинным q и, наоборот, истинность q достаточна для признания истинным p. Эквивалентность истинна только тогда, когда составляющие его простые суждения либо одновременно истинны, либо одновременно ложны.

Для каждой логической связки можно построить таблицы истинности.

Их можно объединить в одну таблицу истинности.

Зная структуру сложного суждения и смысл логических союзов, можно установить истинность (ложность) любого сложного суждения.

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

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

Отрицание отрицания равно утверждению: ( p) = р.

Отрицание конъюнкции: (рq) = p q.

Отрицание дизъюнкции: (рq) = p q..

Отрицание импликации: (р → q) = p q = р q.

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