Ведь может быть супруг за честь свою спокоен

Лишь при условии, что сам любви достоин. (2)

И если у мужей растет кой-что на лбу,

Пускай винят себя – не жен и не судьбу». (3)

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

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

Логическая схема эквивалентного суждения имеет вид: p º q.

В юридических тестах эквивалентные суждения распространены достаточно широко. Вот лишь несколько примеров: «Долги, по которым истек установленный срок исковой давности, принимаются к вычету из доходов налогоплательщика лишь при условии, что предъявлению иска препятствовало отсутствие должника, подтвержденное в установленном Кодексом порядке»[9] или «Если следствием причинения вреда здоровью третьего лица явилась временная утрата трудоспособности, то обязанность Страховщика произвести страховую выплату возникает лишь при условии, что период временной нетрудоспособности превысил пять дней»[10].

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

Условия истинности эквивалентных суждений представлены в таблице на следующей схеме:

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

Решаем задачи

Задание 11.

Решаем задачи

Задание 12.

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

Неверно, что все друзья моего друга – мои друзья.

Что тогда верно?

Ответ: _____________________________

____________________________________

____________________________________

Решаем задачи

Задание 13.

В парке висит объявление: «Здесь нельзя выгуливать собаку, если она без поводка и намордника».

Директор счел это объявление «недружественным» и попросил вас переписать его так, чтобы смысл сохранился, но вместо запрещения фигурировало разрешение [11].

Ответ: _____________________________

_____________________________________

_____________________________________