P. фигурировали двое подозреваемых. Следователь Мишин считал, что убийство совершил либо Петров, либо Сидоров. Однако следователь не исключал, что в деле может появиться и новый подозреваемый. Первоначальное суждение следователя выступало в качестве неполной дизъюнкции. В дальнейшем собранные доказательства подтвердили первоначальную версию следователя, что убийца либо Петров, либо Сидоров. Данное суждение обрело статус полной дизъюнкции.
• Условные (импликативные) суждения. Импликативные суждения состоят из двух простых, соединенных логической связкой «если…, то…».
Например, «Если превышение пределов необходимой обороны было допущено по неосторожности, то закон считает такие действия обороняющегося правомерными». Первое суждение «превышение пределов необходимой обороны было допущено по неосторожности» – основание (антецедент), второе – «закон считает такие действия обороняющегося правомерными» – следствие (консеквент).
(p → q) – формула импликативного суждения, где p – антецедент, q – консеквент, а «→» – связка («если…, то…»).
Составим таблицу истинности для импликативного суждения:
Импликация ложна только в том случае, если из истинности антецедента вытекает ложность консеквента. В других случаях импликативное суждение истинно.
В естественном языке логическая связка такого суждения выражается: «если…, то…», «там…, где…», «постольку…, поскольку…» и пр. В юридических текстах импликативные суждения используются довольно часто. При помощи их формулируются разрешения, запреты, обязывания и т. д.
• Эквивалентные суждения (двойная импликация). Эти суждения включают в себя два простых суждения, соединенных двойной условной зависимостью, выражаемой логической связкой «если, и только если…, то…» Схема их такова: p ≡ q, где ≡ – знак эквивалентности.
Например, «Лицо подлежит уголовной ответственности, если и только если доказан факт совершения им преступления».
В естественном языке эквивалентность выражается следующим образом: «лишь при условии что…, то…», «в том и только в том случае когда…, тогда…» и др.
Условия истинности эквивалентных суждений выражены следующей таблицей истинности
Если оба простых суждения принимают одинаковые значения, то эквивалентное суждение истинно, в других – ложно. Общая таблица истинности сложных суждений:
Достаточно часто встречаются комбинированные суждения, когда используются различные логические связки между простыми суждениями. Например, «Граждане Российской Федерации и постоянно проживающие в РФ лица без гражданства, совершившие преступления вне пределов РФ, подлежат уголовной ответственности (с), если совершенное ими деяние признано преступлением в государстве, на территории которого оно совершено(а), и если эти лица не были осуждены в иностранном государстве (b)».
Основание импликативного суждения состоит из двух конъюнктов: а и в.
Общая его схема