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

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

Такую обоюдную зависимость символически можно выразить двойной импликацией р ↔ q, которая читается: «Если и только если р, то q» [1]. Логическая характеристика этого суждения состоит в том, что истинность утверждения о получении образования р рассматривается как необходимое и достаточное условие истинности утверждения о наличии права на получения аттестата q.

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

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

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

Такая операция получила название негации. Она делает истинную формулу ложной, и наоборот. Иными словами, логическим отрицанием произвольной формулы А является противоречащая ей формула А.

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

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

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

Операция логического отрицания имеет чрезвычайно важное значение в практике применения сложных суждений, так как выявляет моменты исключения из общего правила (Ср.: «Нет правила без исключения»). При этом логическое отрицание может быть применено и к конъюнкции, и к дизъюнкции, и к импликации. Данную операция осуществляется на основе законов де Моргана [2].

В результате применения законов де Моргана для отрицания суждений конъюнктивного вида логическое отрицание будет иметь вид закона дизъюнкции (нестрогой):

ù (p Ù q) ↔ (ù p Ú ù q).

Пример:

Исходное суждение: (p Ù q);

«Все сотрудники ОВД России обладают высокими профессиональными и нравственными качествами».

Логическое отрицание: ù (p Ù q) ↔ (ù p Ú ù q).

«Неверно, что все сотрудники ОВД России обладают высокими профессиональными и нравственными качествами» ↔

↔ «Верно, что все сотрудники ОВД России не могут обладать или высокими профессиональными качествами, или высокими нравственными качествами».

Таким образом, данная операция показывает, что в действительности тольконекоторые (но не все) сотрудники ОВД России обладают высокими профессиональными и нравственными качествами в их совокупности.

В результате применения законов де Моргана для отрицания суждений дизъюнктивного вида логическое отрицание будет иметь вид закона конъюнкции:

ù (p Ú q) ↔ (ù p Ù ù q).

Пример:

Исходное суждение: (p Ú q);

«Природа преступности заложена или в биологической, или в социальной природе человека».

Логическое отрицание: ù (p Ú q) ↔ (ù p Ù ù q).

«Неверно, что природа преступности заложена или в биологической, или в социальной природе человека" ↔

↔ «Верно, что природа преступности не заложена отдельно или в биологической, или в социальной природе человека».

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

В результате применения законов де Моргана для отрицания суждений импликативного вида логическое отрицание будет иметь вид закона конъюнкции следующего вида:

ù (p → q) ↔ (p Ù ù q).

Пример:

Исходное суждение: (p → q);

«Если сотрудник ОВД России имеет высшее образование, то он соответствует современным профессиональным требованиям».

Логическое отрицание: ù (p → q) ↔ (p Ù ù q).

" Неверно, что если сотрудник ОВД России имеет высшее образование, то он обязательно соответствует современным профессиональным требованиям» ↔

↔ " Верно, что сотрудник ОВД России может иметь высшее образование, но при этом он не обязательно будет соответствовать современным профессиональным требованиям».

Таким образом, данная операция показывает, что в действительности высшее образование у сотрудников ОВД является лишь необходимым условием их профессионализма, но не достаточным.

ТЕСТ:

ТЕСТ 1:

ВИДЫ СЛОЖНЫХ СУЖДЕНИЙ
1. К какому виду суждений относится рассуждение: "Если не контролируешь себя, то тебя контролирует кто-то другой"?	1. Соединительное суждение. 2. Разделительное суждение. 3. Условное суждение. 4. Эквивалентное суждение
2. К какому виду суждений относится рассуждение: "Лишь при условии добросовестного отношения к учебе вы можете стать отличником"?	1. Соединительное суждение. 2. Разделительное суждение. 3. Условное суждение. 4. Эквивалентное суждение
3. К какому виду суждений относится рассуждение: "Кража и мошенничество относятся к умышленным преступлениям"?	1. Соединительное суждение. 2. Разделительное суждение. 3. Условное суждение. 4. Эквивалентное суждение
4. К какому виду суждений относится рассуждение: "Свидетель может дать истинные или ложные показания"?	1. Соединительное суждение. 2. Разделительное суждение. 3. Условное суждение. 4. Эквивалентное суждение
5. К какому виду суждений относится рассуждение: "Государство возникает там, тогда и постольку, где, когда и поскольку классовые противоречия не могут быть примирены"?	1. Соединительное суждение. 2. Разделительное суждение. 3. Условное суждение. 4. Эквивалентное суждение.

ОТВЕТЫ ПО ТЕСТУ 1:

1. Условное суждение. 2. Условное суждение. 3. Соединительное суждение. 4. Разделительное суждение. 5. Эквивалентное суждение.

Дата добавления: 2015-07-17