Логика: Учебник для студентов юридических вузов и факультетов

И добродетель стать пороком может,
Когда ее неправильно приложат.

Юридический пример. «Заседание комиссии по трудовым спорам считается правомочным, если на нем присутствует не менее половины членов, представляющих работников, и не менее половины членов, представляющих работодателя» (Трудовой кодекс РФ, ст. 387).

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

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

Импликация может включать в себя три и более суждений. Например: «Участие прокурора в разбирательстве гражданского дела обязательно в случаях, когда это предусмотрено законом или когда необходимость участия прокурора в данном деле признана судом».

Законодательство и юридическая практика его применения свидетельствуют, что в форме импликации выражаются не только объективные зависимости одних предметов и явлений от других, но и также права и обязанности людей, связанные с теми или иными условиями. Например: «Каждый вправе в соответствии с международными договорами Российской Федерации обращаться в межгосударственные органы по защите прав и свобод человека, если исчерпаны все имеющиеся внутригосударственные средства правовой защиты» (Конституция РФ, ст. 46).

4. Эквивалентные (равнозначные) суждения (от лат. aequivalens — равноценный, равнозначный). В них объединяются суждения с взаимной (прямой и обратной) условной зависимостью. Они называются еще «двойной импликацией». Их образует логический союз «если и только если..., то» (символ «↔»). Формула эквивалентности: А ↔ В (читается: «Если и только если А, то В»), Грамматически эквивалентность выражается союзами: «тогда и только тогда..., когда», «лишь в том случае, если..., то», «только при условии, если..., то» и др. Примеры: «Если число делится на два, то оно четное»; «Если и только если человек достиг пенсионного возраста, то он имеет право на получение пенсии по возрасту».

Эквивалентное суждение истинно в двух случаях: когда оба составляющие его суждения истинны и когда они оба ложны. Таблица истинности эквивалентности:

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

Отрицание истинно, если исходное суждение ложно, и наоборот. Таблица отрицания суждений:

Логические союзы, рассмотренные из методических соображений порознь, в реальной практике мышления нередко переплетаются друг с другом, образуя порой весьма сложные мыслительные конструкции. Например: «Суд не принимает отказа истца от иска, признания иска ответчиком и не утверждает мирового соглашения сторон, если эти действия противоречат закону или нарушают чьи-либо права и охраняемые законом интересы». Здесь налицо сочетание нескольких конъюнкций с дизъюнкцией и импликацией. Или: «Судья, народный заседатель, прокурор, секретарь судебного заседания, эксперт и переводчик не могут участвовать в рассмотрении дела и подлежат отводу, если они лично, прямо или косвенно, заинтересованы в исходе дела или имеются иные обстоятельства, вызывающие сомнения в их беспристрастности».