Контрольная по логике для юристов с ответами: Контрольная работа по логике вариант контрольной

Содержание

Контрольная работа по логике вариант контрольной

КОНТРОЛЬНАЯ РАБОТА ПО ЛОГИКЕ
Задание 1. Дайте полную логическую характеристику понятиям:
1.1. Западная граница государства
1.2. Защитник
1.3. Законность

Задание 2. Определите отношения между следующими понятиями и изобразите их с помощью круговых схем (кругов Эйлера):
2.1. Студент, отличник, двоечник, спортсмен
2.2. Город Москва, столица России, столица, главный город государства, город
2.3. Огнестрельное оружие, неогнестрельное оружие, финка, нож, винтовка, оружие

Задание 3. Установите правильность определений следующих понятий (в неправильных указать какое правило нарушено):
3.1. Упрямство есть порок слабого ума
3.2. Кибернетика – не искусство
3.3. Мошенничество – хищение чужого имущества или приобретение права на чужое имущество путем обмана или злоупотребления доверием

Решение
3.1. Упрямство есть порок слабого ума Данное определение дано не верно. Нарушено правило, что определение должно быть ясным.

3.2. Кибернетика – не искусство Данное определение дано не верно. Нарушено правило, что определение не должно содержать отрицание.
3.3. Мошенничество – хищение чужого имущества или приобретение права на чужое имущество путем обмана или злоупотребления доверием Данное определение дано правильно. Все правила определения соблюдены.

Задание 4. Определите вид суждения. В атрибутивных суждениях найдите субъект, предикат, связку. Определите качество и количество суждения, укажите кванторное слово. Установите распределенность терминов:
4.1. Некоторые свидетели не дают правдивых показаний
4.2. Нет адъютанта без аксельбонта (Прутков)
4.3. Лень никогда не приводит к добру

Задание 5. Установите вид сложного суждения, укажите его составные части (простые суждения). Запишите сложные суждения в символической форме:

5.1. Амнистия может быть общей или частичной
5.2. Дитя не плачет – мать не разумеет
5.3. Когда б на то не божья воля – не отдали б Москвы (Лермонтов)

Задание 6. Формализовать рассуждения и проверить его корректность с помощью таблиц истинности:
6.1. Судья не может участвовать в рассмотрении дела, если он является потерпевшим или свидетелем. Судья Н.не является ни потерпевшим, ни свидетелем. Следовательно, судья Н. может участвовать в рассмотрении дела

Решение
Судья не может участвовать в рассмотрении дела (не А), если он является потерпевшим(В) или свидетелем(С). Судья Н.не является ни потерпевшим (не В), ни свидетелем(не С). Следовательно, судья Н. может участвовать в рассмотрении дела (А).

Схематично: ( (В(не А)) \/ (С(не А)) ) /\ ((не В) /\(не С))  A

0 1 1 1 0 1 1 1
1 1 1 0 0 0 1 1
1 1 1 1 0 1 0 0
1 0 1 1 1 1 0 1
1 0 0 0 1 1 0 1
1 1 1 1 1 1 0 0
0 0 1 0 0 1 0 1
0 1 0 1 1 1 1 1
1 0 1 0 1 1 0 0
0 1 0 0 1 1 1 0
0 1 0 1 0 0 0 0
1 1 1 1 0 0 0 1
0 0 0 0 0 0 1 1

Получили набор (01111111), то есть можно сказать, что нельзя получить достоверное заключение, идя от отрицания основания к отрицанию следствия.

Задание 7. Сделайте вывод (если это возможно) путем превращения:

7.1. Некоторые приговоры суда не являются обвинительными 7.2. Все дороги ведут в Рим 7.3. Шила в мешке не утаить

Решение:
7.1. Некоторые приговоры суда (S) не являются обвинительными (P) Имеем дело с частноотрицательным суждением

Схема: Некоторые S не есть Р.
Схема превращения: Некоторые S есть не-Р
Некоторые приговоры (S) есть не обвинительными (не-Р)

7.2. Все дороги(S) ведут в Рим (Р)
Имеем дело с общеутвердительным суждением
Схема : Все S есть Р Схема превращения: Ни одно S не есть не-P
Ни одна дорога не является ведущей не в город Рим

7.3. Шила в мешке не утаить
Запишем суждение так: Ни одно шило в мешке не утаить
Имеем дело с общеотрицательным суждением.

Схема: Ни одно S не есть Р
Схема превращения: Все S суть не-P.
Любое шило можно в мешке утаить

Задание 8. Сделайте вывод (если это возможно) путем обращения:
8.1. Лица, занимающиеся контрабандой, привлекаются к уголовной ответственности
8.2. Некоторые преподаватели вузов не являются юристами
8.3. не всякий генерал от природы полный (Козьма Прутков)

Решение:
8.1. Лица, занимающиеся контрабандой(S), привлекаются к уголовной ответственности (P)
Схема: Все S есть Р (общеутвердительное суждение)
Схема обращения: Некоторые Р есть S.
Некоторые, привлекаемые к уголовной ответственности,(P) являются лицами, занимающимися контрабандой (S)

8.2. Некоторые преподаватели вузов (S) не являются юристами (P)

Схема: Некоторые S не есть Р (частноотрицательное суждение)
Обращения для частноотрицательного суждения нет.

8.3. не всякий генерал(S) от природы полный (Р) (Козьма Прутков)
Схема: Некоторые S есть Р (частноутвердительное суждение)
Схема обращения: Все Р есть S. Все от природы полные(Р) являются генералами(S)

Задание 9. Сделайте вывод (если это возможно) путем противопоставления предикату: 9.1. Все следователи — юристы 9.2. Некоторые птицы — перелетные

Решение: 9.1. Все следователи(S) — юристы (P)
Схема: Все S есть Р (общеутвердительное суждение)
Схема противопоставления предикату: Ни одно не – Р не есть S.
Ни один не юрист(не-Р) не является следователем(S)

9.2. Некоторые птицы(S) — перелетные (P)
Схема: Некоторые S есть Р (частноутвердительное суждение)
Для частноутвердительного суждения нельзя сделать противопоставление предикату.

Задание 10. Сделайте вывод из посылок; с помощью общих правил силлогизма установите, следует ли заключение с необходимостью:
10.1. Лицо, совершившее разбойное нападение, привлекается к уголовной ответственности. Петров привлекается к уголовной ответственности

Задание 11. Используя условную посылку, постройте умозаключение:
а) по утверждающему, б) по отрицающему.
Постройте их схему в символической записи. Если условная посылка явно не выражена, сформулируйте ее в явной логической форме (со связкой «если…., то…»):

11.1. В случае отсутствия кворума собрание не состоится

Задание 12. Используя разделительную посылку, постройте умозаключение:
а) по утверждающе–отрицающему модусу; б) по отрицающему–утверждающему модусу.
12.1. Выдвинутая гипотеза доказывается или отвергается

Задание 13. Восстановите энтимему до полного силлогизма: Эту ошибку мне трудно обнаружить, так как я не знаю правил

Контрольная по логике, вариант 4

Задание 1

Какие из основных законов логики нарушены в следующих примерах:

1.1)Почему ты всё время врёшь? – А что же мне делать, если вы меня за каждую тройку ругаете?

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

Решение:

1.1) Это пример детской несовершенной логики. Нарушен принцип достаточного основания. Между аргументом (Ребенок всё время врет) и выводом (Ребенка ругают за каждую тройку)  нет отношения логического следования.

1.2)Также нарушен закон достаточного основания. Из аргумента «Игроки не имеют опыта игры за сборную» не следует вывод «Нельзя включать их в сборную игроков».

Задание 2  Скачать практические задания по логике, вариант 4

Запишите в символическом виде и проверьте с помощью таблицы истинности наличие логического следования.

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

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

Решение:

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

Скачать Практические задания по логике, вариант 4

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

Введем обозначения:

x – «Подозреваемый совершил эту кражу»

у – «Кража была тщательно подготовлена»

z –«подозреваемый имел соучастника»

q –«Украдено гораздо больше, чем на самом деле»

┐x – «Подозреваемый не совершал эту кражу»

Составим логическую схему:

(  ( (x—>(y\/z) ))&(y—>(z—>q))—>┐x
0100
0
10101011
0100010101111
0101110110011
0101110111111
0111011101011
0111011101111
0111101010011
0111111111111
1000000101010
1000000101110
1101110110000
1101110111100
1111011101000
1111011101100
1111101010010
1111111111100
 2 1 5 4 3 6 

По таблице истинности видно, что вывод о том, совершал ли кражу подозреваемый или не совершал, сделать нельзя!

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

Введем обозначения:

x – «Намеченная атака удастся»

у – «Захватить противника врасплох»

z –«Позиции противника плохо защищены»

q –«Противник беспечен»

┐q -«Противник не беспечен»

┐x – «Намеченная атака не удастся»

схема:

 ((y\/z)—>x)&(q—>y)&(z—>┐q)  )—>┐x
000101010101111
000100100001011
011000010011111
011000100010011
110000011001111
110000111001011
111000011011111
111000111010011
000111010101100
000110100001010
011111010111100
011110100010010
110111011101100
110111111101000
111111011111100
111111111010010
 1 2 5 3 6 4 7 

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

Задание 3.

С помощью круговых схем изобразите отношения между понятиями:

3.1)Студент, профессор, инженер, космонавт

3.2)Страус, обитатель пампас, гордая птица, перья, крыло

Решение:

3.1)Понятия  «студент», профессор», инженер», «космонавт» находятся в отношении перекрещивания, то есть

Некоторые студенты могут быть профессорами

Некоторые студенты могут быть инженерами

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

 

Некоторые профессора могут быть студентами

Некоторые профессора могут быть инженерами

Некоторые профессора могут быть космонавтами

 

Некоторые инженеры могут быть студентами

Некоторые инженеры могут быть профессорами

Некоторые инженеры могут быть космонавтами

 

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

Некоторые космонавты могут быть профессорами

Некоторые космонавты могут быть инженерами

 

с помощью круговых схем, можно изобразить следующим образом:

«Студент»(С), профессор»(П), инженер»(И), «космонавт»(К)

3.2)Понятия «страус» и «гордая птица » являются несовместимыми понятиями, объемы этих понятий не пересекаются.

Ни один страус не является гордой птицей

Ни одна гордая птица не является страусом

Понятие «страус» и «обитатель пампас» — перекрещивающиеся понятия, также в отношении перекрещивания находятся «гордая птица» и «обитатель пампас».

Некоторые обитатели пампас являются страусами

Некоторые страусы являются обитателями пампас

Некоторые обитатели пампас являются гордыми птицами

Некоторые гордые птицы являются обитателями пампас

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

Задание4.

Определите, соблюдены ли правила деления и , если нет, какие ошибки допущены в следующих примерах:

4.1)Часы бывают: наручные, настольные, настенные и с кукушкой

4.2)Ошибки бывают: умышленные , неумышленные и грубые

Решение:

4.1) Часы бывают: наручные, настольные, настенные и с кукушкой

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

4.2)Ошибки бывают: умышленные, неумышленные и грубые

Аналогично, с предыдущем примером, происходит «скачок в делении». ошибки бывают умышленные, неумышленные. А уже умышленные ошибки могут быть грубыми, или же неумышленные ошибки могут быть грубыми.

Задание 5.

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

5.1) Ни один страус не умеет летать

5.2)Не всякий чиновник –бюрократ

Решение:

5.1) ни один страус не умеет летать

S – страус

Р – «те, кто умеет летать»

Связка – не являются(пропущена)

Квантор – ни один

Данное суждение являются общеотрицательным и невыделяющим суждением (т.к. нельзя утверждать, что все, кто не умеет летать это только страус.)

Схема: ни один S+ не есть P+

Субъект и предикат распределены

Круговая схема:

5.2)не всякий чиновник – бюрократ

S – чиновник

Р – бюрократ

Связка – является(пропущена)

Квантор – некоторые(не всякий)

Данное суждение являются частноутвердительным суждением и невыделяющим

(т.к. только некоторые бюрократы могут быть чиновником)

Схема: некоторые S есть P

Субъект и предикат не распределены

Круговая схема:

 

Задание 6.

Произвести в тех случаях, где это возможно, обращение суждений

6.1)Среди адвокатов есть принципиальные люди

6.2) Некоторые политики не являются демагогами

Решение:

6.1) Среди адвокатов есть принципиальные люди

S – адвокат

Р – принципиальные люди

Связка – есть

Квантор – некоторые

 

Некоторые S есть Р

Суждение частноутвердительное, SiP

Схема обращения: PiS

некоторые принципиальные люди являются адвокатами

 

6.2) некоторые политики не являются демагогами

S – Политики

Р – демагоги

Связка – не являются

Квантор – некоторые

 

Некоторые S не являются Р

Суждение частноотрицательное (О), а они не обращаются.

Задание 7

Восстановите энтимему в полный силлогизм и проверьте его правильность. Если есть ошибки, укажите какие именно.

7.1)у нас нет доказательств его вины, значит, он не виновен

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

Решение:

7.1) у нас нет доказательств его вины, значит, он не виновен

В этой энтимеме пропущена посылка. Заключение: он не виновен. Схема: S+eP

Следовательно, меньший термин (S) – понятие «он», большой термин (Р) – понятие «тот, кто виновен».

Таким образом, средний термин (М) – «тот, чья вина доказана».

Дана меньшая посылка: у нас нет доказательств его вины

Перепишем: Он не есть тот, чья вина доказана. Схема: S+ e M

Нужно восстановить большую посылку, которая связывает термина М и Р.

М стоит на месте субъекта. Если мы сформулируем данное суждение как общее, то получи: «чья вина доказана является виновным». Данное суждение было бы ложным(иногда происходят судебные ошибки), но в нашем случае «являться виновным» подразумевает по закону быть виновным. Значит, суждение можно считать истинным.

все, чья вина доказана, являются виновными. Схема: М+iP

Схема силлогизма:

(А) М+iP

(E)  S+ e M

—————

(E) S+eP

Имеем первую фигуру простого категорического силлогизма, модус АЕЕ

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

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

Перепишем «Мы не обладаем достаточными доказательствами его виновности, значит мы должны его оправдать.»

В данной энтимеме, пропущена посылка.

Заключение: мы должны его оправдать. схема: S+iP

Следовательно, меньший термин S – понятие «Мы», больший термин Р – понятие «те, кто должен его оправдать». Средний термин М – понятие «те, кто обладает достаточными доказательствами его виновности». Дана меньшая посылка: мы не обладаем достаточными доказательствами его виновности

Схема: S+ e M

Нужно восстановить большую посылку, которая связывает термины  М  и Р.

М стоит на месте субъекта. Если сформулируем суждение, как общее, то получи:

«ни один, кто обладает достаточными доказательствами его виновности, не  является теми, кто должен его оправдать» M+e P

S+ e M

M+e P

———-

S+iP

 Ошибка: из двух отрицательных посылок нельзя сделать достоверного вывода!

Восстановим большую посылку до общеутвердительного суждения:

«Все, кто обладает достаточными доказательствами его виновности, являются людьми, которые должны его оправдать». Схема: M+iP

Но тогда заключение получается другим из таких посылок:

S+ e M

M+iP

———

S+eP

Значит, энтимема не состоятельна.

Задание 8

Определите состоятельность обобщений в следующих пословицах, поговорках, изречениях.

8.1) вора помиловать – честного погубить

8.2)  кто тонет, за соломинку хватается.

Решение:

8.1) вора помиловать – честного погубить

(состоятельное индуктивное обобщение)

8.2)Кто тонет, за соломинку хватается. (несостоятельное обобщение)

Состоятельность — это непротиворечивость двух утверждений. То есть если бы у нас было два суждения : «кто тонет, за соломинку хватается» и «25 апреля некто тонул и хватался за соломинку», тогда мы могли бы говорить о состоятельности/несостоятельности народной пословицы. В данном примере, факт случившегося события отсутствует, т.е. имеется только сама примета.

 Задание 9

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

9.1) попробуйте уткнуться лбом в стол. Откройте глаза. Видите ли Вы весь стол целиком? – конечно, нет. Могли бы узнать о то, как выглядит весь стол целиком, если всегда находились в таком положении? – Ответ очевиден: нет. Отсюда следует, что воспринимать какой – либо предмет целиком можно только находясь во внешней позиции по отношению к нему. Но ведь существует такой предмет, по отношению к которому мы всегда находимся в позиции, сходной с позицией человека, уткнувшегося лбом в стол. Этот предмет – время. Мы всегда находимся в настоящем. Мы как бы намертво прикованы к нему. Однако, у нас есть понятия прошлого и будущего, т.е. мы каким-то образом воспринимаем время целиком, со всех сторон. Как это возможно? Очевидно, мы каким-то  образом должны находиться по отношению ко времени во внешней позиции. Но ведь наша телесная оболочка всегда пребывает в настоящем, это факт. Следовательно, мы должны выходить из пределов времени, какой-то другой, не телесной, частью себя. Но что это может быть, если не тело? Очевидно, некая нематериальная субстанция, то есть что называют «душа». Следовательно, душа существует. А по скольку она пребывает вне пределов времени, то она бессмертна. Таким образом, у нас есть бессмертная душа.

9.2) Вам не кажется, что эту планету (Торманс) уже невозможно поднять из инферно? Что болезнь зашла слишком далеко, отравив людей испорченной наследственностью – дисгенетикой? Что люди Торманса уже не способны верить ни во что и заботятся лишь об элементарных удовольствиях, ради которых они готовы на все? Если на планете бродят одичалые толпы, если пустыни  наступают, съедая плодородные почвы, если израсходованы минеральные богатства, если деградация во всем и особенно в душах людей, то чем, какой силой они поднимутся? (Ефремов И. «Час быка»)

Решение:

9.1)  попробуйте уткнуться лбом в стол. Откройте глаза. Видите ли Вы весь стол целиком? – конечно, нет. Могли бы узнать о то, как выглядит весь стол целиком, если всегда находились в таком положении?Ответ очевиден: нет.(а) Отсюда следует, что воспринимать какой – либо предмет целиком можно только находясь во внешней позиции по отношению к нему. (b) Но ведь существует такой предмет, (s)по отношению к которому мы всегда находимся в позиции, сходной с позицией человека, уткнувшегося лбом в стол. Этот предмет – время. Мы всегда находимся в настоящем. Мы как бы намертво прикованы к нему. Однако, у нас есть понятия прошлого и будущего, т.е. мы каким-то образом воспринимаем время целиком, со всех сторон. Как это возможно? Очевидно, мы каким-то  образом должны находиться по отношению ко времени во внешней позиции. Но ведь наша телесная оболочка всегда пребывает в настоящем, это факт.(s) Следовательно, мы должны выходить из пределов времени, какой-то другой, не телесной, частью себя. Но что это может быть, если не тело? Очевидно, некая нематериальная субстанция, то есть что называют «душа».(q) Следовательно, душа существует. (s) А по скольку она пребывает вне пределов времени, (r)то она бессмертна. Таким образом, у нас есть бессмертная душа.(T)ак бы намертво прикованы к нему. отношению к которому мы всегда находимся в позиции, сходной с позицией человека, уткунувшегося

Тезис: «У нас есть бессмертная душа»

Аргумент 1: «попробуйте уткнуться лбом в стол. Откройте глаза. Видите ли Вы весь стол целиком? – конечно, нет. Могли бы узнать о то, как выглядит весь стол целиком, если всегда находились в таком положении? – Ответ очевиден: нет.»

Аргумент 2: «воспринимать какой – либо предмет целиком можно только находясь во внешней позиции по отношению к нему.

Аргумент 3: «существует такой предмет, по отношению к которому мы всегда находимся в позиции, сходной с позицией человека, уткнувшегося лбом в стол. Этот предмет – время. Мы всегда находимся в настоящем. Мы как бы намертво прикованы к нему. Однако, у нас есть понятия прошлого и будущего, т.е. мы каким-то образом воспринимаем время целиком, со всех сторон. Как это возможно? Очевидно, мы каким-то  образом должны находиться по отношению ко времени во внешней позиции. Но ведь наша телесная оболочка всегда пребывает в настоящем, это факт»

Аргумент 4: «мы должны выходить из пределов времени, какой-то другой, не телесной, частью себя. Но что это может быть, если не тело? Очевидно, некая нематериальная субстанция, то есть что называют «душа».

Аргумент 5: «душа существует»

Аргумент 6: «Душа пребывает вне пределов времени»

Форма демонстрации: ((((а—>b)&s)—>q)—>s)&(r—>T)

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

Следовательно, вывод нельзя считать достоверным.

9.2) Вам не кажется, что эту планету (Торманс) уже невозможно поднять из инферно?(T)

Что болезнь зашла слишком далеко, отравив людей испорченной наследственностью – дисгенетикой? Что люди Торманса уже не способны верить ни во что и заботятся лишь об элементарных удовольствиях, ради которых они готовы на все?(p)

Если на планете бродят одичалые толпы, если пустыни  наступают, съедая плодородные почвы, если израсходованы минеральные богатства, если деградация во всем и особенно в душах людей, то чем, какой силой они поднимутся?  (q)

Тезис: «эту планету (Торманс) уже невозможно поднять из инферно»

Аргумент 1: «болезнь зашла слишком далеко, отравив людей испорченной наследственностью – дисгенетикой. Люди Торманса уже не способны верить ни во что и заботятся лишь об элементарных удовольствиях, ради которых они готовы на все»

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

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

А из неправдоподобных аргументов нельзя получить достоверного тезиса.

Скачать практические задания по логике, вариант 4

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

Показания свидетеля:Символическая запись
1Петр не виноват ⌐p
2Павел не виноват⌐q
3Из двух предыдущих показаний по меньшей мере одно истинно.(⌐p \/ ⌐q)
4Показания третьего свидетеля ложны⌐ (⌐p \/ ⌐q)=p/\q