Понятие логического закона. Основные логические законы,их особенность.

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

Логические законы – это объективно существующие и необходимо применяемые правила построения логического мышления.

1. Закон тождества. Всякая мысль в процессе рассуждения должна быть тождественна самой себе. Этот закон требует, чтобы в выступлении данная мысль о каком-либо предмете, событии должна иметь определенное устойчивое содержание, сколько бы раз и в какой бы форме к ней ни возвращались.

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

3. Закон исключенного третьего. Утверждение и его отрицание не могут быть одновременно ни истинными, ни ложными, одно из них необходимо истинно, другое – необходимо ложно. Если в выступлении сформулировано какое-то положение в виде высказывания, а затем – его отрицание, то одно из этих высказываний будет истинным, а другое – ложным.

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

 

ЗАКОН ТОЖДЕСТВА.

Этот закон раскрывает сущность требования об определенности и однозначности наших мыслей. Закон тождества можно сформулировать следующим образом: объем и содержание мысли о каком-либо предмете должны быть строго определены и оставаться постоянными в процессе рассуждения о нем.

Закон тождества принято выражать формулой А = А или А суть А.

Закон тождества имеет силу только в мыслительном процессе; на материальные отношения предметного мира он не распространяется, т.е. не является абсолютным законом действительности. Поэтому говорить о его соблюдении означает настаивать на дисциплине нашего мышления, т.е. на обязательном характере правильного мышления, без чего невозможно получение истинного знания. Нарушение закона тождества ведет к логической ошибке, которую можно характеризовать как потерю или подмену предмета мысли. Она может возникнуть или непроизвольно, или умышленно. Первый случай (непроизвольно) может быть результатом низкой культуры ума, неумением правильно пользоваться имеющимися знаниями, отсутствием навыков системного мышления и т.д., а также неумения контролировать свои эмоции в ходе рассуждения или доказательства (дискуссии, спора и т.д.); второй случай (умышленное искажение предмета мысли в понятии) чаще всего задается идеологическими или узко практицистскими соображениями и адресуется малокультурной аудитории, что мы можем зафиксировать в ходе предвыборных кампаний.

Из приведенных рассуждений ясно, что соблюдение закона тождества во многом определяется нашим умением пользоваться понятиями. В ходе рассуждений (письменных или устных) возникает необходимость в целях стилистического разнообразия одни и те же понятия выражать различными словами, однако в этом случае надо следить, чтобы вновь вводимые слова как понятия были бы тождественными уже введенным понятиям, соразмерными с ними.пример: «Все течет; в одну и ту же реку нельзя войти дважды» (Гераклит). В одной из харьковских газет читаем заголовок: «Мудрец сказал: «В одну и ту же воду нельзя войти дважды»». Если сопоставить понятия «река» и «вода», то ясно, что они не тождественны, ибо вода может быть стоячей (в бассейне, в болоте, в пруду и т.д.), а река всегда в движении. Тот, кто поместил этот заголовок, нарушил закон тождества и тем самым исказил важнейшее положение Гераклитовского учения о диалектике, в котором раскрывается сущность движения.

ЗАКОН НЕПРОТИВОРЕЧИЯ

Логический закон, согласно которому высказывание и его отрицание не могут быть одновременно истинными. Закон говорит о противоречащих друг другу высказываниях, т. е. высказываниях, одно из которых является отрицанием другого. Отсюда иное название закона — закон противоре­чия, подчеркивающее, что закон отрицает противоречие, объявляет его ошибкой и тем самым требует непротиворечивости. Противоречат друг другу, напр., высказывания: «Фобос — спутник Марса» и «Фобос не является спутником Марса», «Кентавры существуют» и «Кентавры не существуют» и т. п.

Закон отрицает, что одно и то же высказывание может соответствовать реальному положению вещей и одновременно не соответствовать ему. Иногда Н. з. формулируют таким образом: из двух противоречащих друг другу высказываний одно является ложным. Эта формулировка подчеркивает опасность, связанную с противоречием. Тот, кто допускает противоречие, вводит в свои рассуждения или в свою теорию заведомо ложное положение, что, разумеется, недопустимо. С использованием символики логической (р — некоторое высказывание; & — конъюнкция, «и»; ~ — отрицание, «неверно, что») Н. з. выражается формулой: ~(р&~р), неверно, что р и не-р. Напр.: «Неверно, что глина металл и что она не металл», «Неверно, что птицы летают и что они не летают» и т. п. Логические противоречия — противоречия непоследовательного, путаного рассуждения - принципиально отличны от противоречий диалектических. Н. з. запрещает первые, но он не распространяется на вторые. О диалектике развития и борьбе противоположных сторон, определяющей развитие, нужно рассуждать последовательно и непротиворечиво, как и обо всем другом.

ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО

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

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

Смысл закона исключенного третьего выражает формула:

Где А есть суждение, – его отрицание, ^ – знак конъюнкции, читается как «ИЛИ».

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

Суждения (1) и (2) находятся в отношении противоположности друг к другу. Заметим особо, что закон исключенного третьего имеет обязательную силу лишь для определенного вида противоположности между высказыванием и его отрицанием, а именно для отношения контрадикторной противоположности. Наш пример как раз включает суждения такого вида.

Допустим, нам надо доказать истинность следующего суждения: «Луна есть спутник планеты Земля». Для этого мы выдвигаем противоречащее суждение: «Луна не есть спутник планеты Земля». Устанавливая ложность этого суждения, мы выдвигаем такой аргумент: если бы Луна не была спутником планеты Земля, она бы не появлялась постоянно на ночном небе в ясную погоду в точно зафиксированных точках пространства. Но так как появление Луны в указанных точках и при указанных условиях есть эмпирический факт, то предположение о том, что Луна не есть спутник Земли, неверно. Следовательно, «Луна есть спутник планеты Земля». Другой аргумент, опровергающий противоречащее суждение: если бы Луна не была спутником планеты Земля, то периодичность приливов и отливов на побережье мировых океанов (6 часов) не имела бы места (не происходила). Но так как приливы и отливы в связи с движением Луны вокруг Земли доказаны наукой, наше допущение о том, что Луна не есть спутник Земли, неверно. Следовательно, истинно, что «Луна есть спутник планеты Земля».

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

 

27. Умозаключение как форма рационального мышления. Его особенность, структура и виды.

Умозаключение – это форма мышления, посредством которой осуществляется переход от известного (имеющегося) знания в новому знанию. В структуре умозаключения выделяют: (1) посылки – исходное знание, служащее основанием умозаключения; (2) заключение – производное (новое) знание, получаемое из посылок; (3) логическую связь между посылками и заключением, выражающую отношение между ними. Поскольку функции посылок и заключения выполняют суждения, то умозаключение часто определяют как форму мышления, посредством которой из одного или нескольких суждений выводится новое суждение.

различают три вида умозаключений: дедуктивные (от общего знания к частному), индуктивные (от частного знания к общему), умозаключения по аналогии (от частного знания к частному).

Дедуктивные умозаключения – это умозаключения, в которых осуществляется переход от более общего знания к менее общему. Например: Все люди смертны, Сократ – человек, следовательно, он смертен.

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

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

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

Непосредственными умозаключениями называются умозаключения, представляющие собой некоторое преобразование одного простого категорического суждения. Это умозаключения из одной посылки. Виды: 1) превращение, 2) обращение, 3)противопоставление предикату, 4)умозаключение по логическому квадрату.

Превращение - это преобразование суждения в суждение, противоположное по качеству с предикатом, противоречащим предикату исходного суждения. Превращение опирается на правило: двойное отрицание равносильно утверждению.

Обращение - это преобразование суждения, в результате которого субъект исходного суждения становится предикатом, а предикат - субъектом заключения.

Противопоставление предикату - это преобразование суждения, в результате, которого субъектом становится понятие, противоречащее предикату, а предикатом субъект исходного суждения.

Умозаключение по логическому квадрату. Учитывая свойства отношений между категорическими суждениями А, Е, I, О, которые иллюстрированы схемой логического квадрата, можно строить выводы, устанавливая следствие истинности или ложности одного суждения из истинности или ложности другого суждения.

29. Опосредования умозаключений. Простой категорический силлогизм, его структура.

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

Простой категорический силлогизм — это вывод некоторого категорического суждения из двух других категорических суждений.

Структура простого категорического силлогизма:

В силлогизм входит ровно три термина:

S — меньший термин: субъект заключения (входит также в меньшую посылку);

P — больший термин: предикат заключения (входит также в большую посылку);

M — средний термин: входит в обе посылки, но не входит в заключение.

Подлежащие S (субъект) — то, относительно чего мы высказываем (делится на два вида):

Определенное: Единичное, Частное, Множественное

Единичные [суждения] — в которых подлежащее является индивидуальным понятием. Прим: «Ньютон открыл закон тяготения»

Частное суждение — в котором подлежащим суждения является понятие, взятое в части своего объема. Прим: «Некоторые S суть P»

Множественное суждение — это те, в которых несколько подлежащих классовых понятий. Прим: «насекомые, пауки, раки есть членистоногие»

Неопределенное. Прим: «светает», «больно» и т. п.

Сказуемое P (предикат) — то, что мы высказываем (2 вида суждений):

Повествовательные — это суждение относительно событий, состояний, процессов или деятельности скоропроходящих. Прим: «Роза в саду цветет».

Описательные — когда одному или многим предметам приписывается какое-нибудь свойство. Субъектом всегда является определенная вещь. Прим: «Огонь горяч», «снег бел».

Отношение между подлежащим и сказуемым:

Суждения тождества — понятия субъекта и предиката имеют один и тот же объем. Прим: «всякий равносторонний треугольник есть равноугольный треугольник»

Суждения подчинения — понятия с менее широким объемом подчиняется понятию с более широким объемом. Прим: «Собака есть домашнее животное»

Суждения отношения — именно пространства, времени, отношения. Прим: «Дом находится на улице»

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

 

30. Аксиома силлогизма. Правила терминов и правила посылок силлогизма.

Суть аксиомы силлогизма: Признак признака есть признак самой вещи, а то что противоречит признаку вещи, противоречит и самой вещи.

Этой аксиоме предшествует другая аксиома: все что утверждается относительно всего множества, утверждается и относительно каждого его подмножества, и все, что отрицается относительно всего множества, отрицается и относительно каждого его

I. Правила терминов:

1) в силлогизме должно быть только 3 термина

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

2) средний термин должен быть распределен хотя бы в одной из посылок.

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

 

3) термин, не распределенный в посылках, не может быть распределен в заключении.

При нарушении этого правила возникает лог.ошибка "незаконное расширение термина".

 

II. Правила посылок:

1) Из двух отрицательных посылок заключение сделать нельзя (хотя бы одна из посылок должна быть утвердительной).

 

2) Из двух частных посылок заключение не следует (хотя бы одна из посылок должна быть общим суждением).

Из двух частных посылок правильное заключение сделать невозможно.

 

3) если одна из посылок - отрицательное суждение, то и заключение должно быть отрицательным.

 

4) если одна из посылок частная, то и заключение должно быть частным.

 

31. Фигуры простого категорического силлогизма, их правила и значение.32. Модусы силлогизма. Правила вывода модусов.

Если указанные выше 11 правильных сочетаний суждений в силлогизме рассмотреть во всех фигурах силлогизма, то должно получиться 44 возможных сочетания суждений, но правилам силлогизма из этих 44 сочетаний соответствуют только 19.

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

Модусы фигур силлогизма принято записывать специальными словами-формулами, гласные буквы которых символизируют виды высказываний, а начальные согласные буквы — отношения (так называемые редукции) модусов различных фигур.

Примеры модусов.

I фигура

Модус Barbara: обе посылки и вывод являются общеутвердительными суждениями.

Пример:

Все студенты семинарии изучают Священное Писание;

Все студенты 2 курса являются студентами семинарии;

Следовательно, все студены 2 курса изучают Священное Писание.

Модус Celarent: большая посылка является общеотрицательным суждением, меньшая — общеутвердительным, а вывод — общеотрицательным.

Пример:

Ни один студент семинарии не является студентом университета;

Все студенты 2 курса являются студентами семинарии;

Следовательно, ни один студент 2 курса не является студентом университета.

Модус Darii: большая посылка является общеутвердительным суждением, а меньшая посылка и вывод — частноутвердительными.

Пример:

Все студенты 2 курса изучают риторику;

Иванов - студент второго курса;

Следовательно, Иванов изучает риторику.

Модус Ferio: большая посылка является общеотрицательным суждением, меньшая — частноутвердительным, вывод — частноотрицательным.

Пример:

Ни один студент семинарии не является студентом университета;

Некоторые молодые люди являются студентами семинарии;

Следовательно, некоторые молодые люди не являются студентами университета

При этом соотношение крайних терминов таково, что некоторые молодые люди

могут быть студентами университета.

Правила первой фигуры:

• меньшая посылка является утвердительной;

• большая посылка является общей.

II фигура

Модус Cesare: большая посылка является общеотрицательным суждением, меньшая посылка — общеутвердительным, а вывод — общеотрицательным.

Пример:

Ни один православный не является протестантом;

Все англикане являются протестантами;

Следовательно, ни один англиканин не является православным.

Модус Camestres: большая посылка является общеутвердительным суждением, меньшая посылка и вывод являются общеотрицательными суждениями.

Пример:

Всякое действие, подлежащее нравственной оценке, предполагает свободу воли;

Отправления организма независимы от воли;

Следовательно, отправления организма не подлежат нравственной оценке.

Модус Festino: большая посылка является общеотрицательным суждением, меньшая посылка — общеутвердительным, а вывод — частноотрицательным. Иными словами, вывод является обращением вывода модуса Ferio. Пример:

Ни один студент семинарии не является студентом университета;

Некоторые молодые люди являются студентами университета;

Следовательно, некоторые молодые люди не являются студентами семинарии.

Модус Baroko: большая посылка является общеутвердительным суждением, меньшая посылка и вывод — частноотрицательными.

Пример:

Все христиане считают для себя обязательным жить по правилам Церкви;

Некоторые люди, называющие себя христианами, не считают для себя обязательным жить по правилам Церкви;

Следовательно, некоторые люди, называющие себя христианами, таковыми не являются.

Правила второй фигуры:

• одна из посылок является отрицательным суждением,

• вывод является отрицательным суждением,

• большая посылка является общим суждением

III фигура

Модус Darapti: большая и меньшая посылки являются общеутвердительными суждениями; вывод является частноутвердительным суждением.

Пример:

Все люди являются разумными существам;

Все люди являются теплокровными животными;

Следовательно, некоторые теплокровные животные являются разумными существами.

Модус Disamis: большая посылка и вывод — частноутвердительные суждения, меньшая посылка — общеутвердительное суждение.

Пример:

Некоторые люди занимаются логикой;

Все люди - разумные существа;

Следовательно, некоторые разумные существа занимаются логикой.

Модус Datisi: большая посылка является общеутвердительным суждением, меньшая посылка и вывод – частноутвердительными.

Пример:

Все люди разумны;

Некоторые люди занимаются логикой;

Следовательно, некоторые существа, занимающиеся логикой, разумны.

Модус Felapton: большая посылка является общеотрицательным суждением, меньшая посылка — общеутвердительным, вывод — частноотрицательное суждение.

Пример:

Ни один студент университета не является студентом семинарии;

Студенты университета являются разумными существами;

Следовательно, некоторые разумные существа не являются студентами семинарии.

Модус Bokardo: большая посылка и вывод — частноотрицательные суждения, меньшая посылка - общеутвердительное суждение.

Пример:

Некоторые люди не занимаются логикой;

Все люди - разумные существа;

Следовательно, некоторые разумные существа не занимаются логикой.

Модус Ferison: большая посылка — общеотрицательное суждение, меньшая посылка — частноутвердительное суждение, вывод — частноотрицательное суждение.

Пример:

Ни один женатый не является монахом;

Некоторые женатые люди являются священниками;

Следовательно, некоторые священники не являются монахами.

Правила третьей фигуры:

• меньшая посылка является утвердительным суждением;

• вывод является частным суждением.

IV фигура

Модус Bramantip: большая и меньшая посылки являются общеутвердительными суждениями, а вывод — частноутвердительным, при этом средний термин — субъект меньшей и предикат большей посылок. Как и все остальные модусы IV фигуры, Bramantip является искусственным и не несет существенной информации, поскольку более сильный вывод получается из соответствующего модуса первой фигуры; иногда Bramantip и обозначается как Barbari.

Пример: [1]

Все явления природы причинно обусловлены;

Все причинно обусловленные явления воспринимаются как естественные;

Следовательно, некоторые явления, воспринимаемые как естественные, суть явления природы.

Модус Camenes: большая посылка — общеутвердительное суждение, меньшая посылка и вывод — общеотрицательные.

Пример:

Всякое зло этой жизни есть зло преходящее;

Никакого преходящего зла не следует бояться;

Следовательно, никакое зло, которого следует бояться, не есть зло этой жизни.

Модус Dimaris: Большая посылка и вывод — частноутвердительные суждения, меньшая посылка — общеутвердительное суждение.

Пример:

Есть безумцы, которые говорят истину;

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

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

Модус Fesapo: большая посылка — общеотрицательное суждение, меньшая — общеутвердительное суждение, вывод — частноотрицательное суждение.

Пример:

Ни одна добродетель не есть прирожденное свойство;

Всякое прирожденное свойство дается Богом;

Следовательно, существуют свойства, которые даются Богом и не являются добродетелями.

Модус Fresison: большая посылка — общеотрицательное суждение, меньшая посылка — частноутвердительное суждение, вывод — частноотрицательное суждение.

Пример:

Ни один римо-католик не является православным;

Некоторые православные люди — французы;

Следовательно, некоторые французы не являются римо-католиками.

Правила четвертой фигуры:

• если большая посылка является утвердительным суждением, то меньшая посылка является общим суждением;

• если меньшая посылка является утвердительным суждением, то вывод является частным суждением,

• в отрицательных модусах большая посылка является общим суждением.

 

34. Условный силлогизм и его виды

1. Условный силлогизм - силлогизм, в котором хотя бы одна посылка является импликативным (условным) суждением.

Виды:

а) чисто условный (гипотетический) силлогизм, в котором обе посылки и заключение - условные суждения:

p→q Если много врать, то можно потерять доверие

q→r Если потерять доверие, то можно остаться одному

________________________________________

p→r Если много врать, то можно остаться одному

 

Правило условного силлогизма: следствие следствия есть следствие основания;

 

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

 

У этого силлогизма возможны 4 модуса:

 

 

Поненс Толленс

p→q p→q p→q p→q

p q p q

________________________________________ ________________________________________ ________________________________________ ________________________________________

q p q p

 

 

Достоверные модусы

Модус поненс (лат. modusponens) - утверждающий модус (его заключение утвердительное суждение)

Модус толленс (лат. modustollens) отрицающий(его заключение отрицательное суждение).

 

Модус поненс (рассуждение идет от утверждения основания к утверждению следствия):

 

Билет 35

Разделительный (альтернативный) силлогизм - силлогизм, в котором есть исключающе-разделительное суждение(строгая дизъюнкция).

Виды:

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

 

S есть Р или Р1 Составляющая атома - либо заряженная, либо нейтральная.

Р есть Р2 или РЗ Заряженная составляющая атома - либо электрон, либо протон.

________________________________________ ________________________________________

S есть Р1 или Р2 или РЗ Составляющая атома - либо электрон, либо протон, либо нейтральна.

 

 

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

 

Имеет два модуса:

(1) утверждающе-отрицающий (modusponendotollens)

 

pvq Либо пан, либо пропал.

p Пан.

________________________________________ ________________________________________

q Не пропал.

 

(2) отрицающе-утверждающий (modustollendoponens)

 

pvq Либо пан, либо пропал.

p Не пан

________________________________________ ________________________________________

q Пропал.

 

 

Правила:

1) в дизъюнктивных посылках должны быть перечислены все члены дизъюнкции (деления);

2) члены деления должны исключать друг друга (строгая дизъюнкция).

 

 

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

Кроме того, часто встречаются и условно-разделительные силлогизмы, в которых большая посылка - конъюнкция условных суждений, а меньшая - разделительное суждение. В зависимости от числа членов дизъюнкции (альтернатив) выделяют дилеммы (2 члена), трилеммы (3 члена), полилеммы (более трех членов). Например, логическая структура известной сказочной ситуации "витязя на распутье" (прямо поедешь - голову сложишь, направо поедешь - коня потеряешь, налево поедешь - жену найдешь) имеет форму трилеммы:

(p1→q1)&(p2→q2)&(p3→q3)

p1vp2vp3

________________________________________

q1vq2vq3.