Логика для юристов: Учебник., Ивлев Юрий Васильевич

Логика для юристов: Учебник.

на обложку

Ивлев Юрий Васильевич

Шрифт:

Результатом отрицания (неопределённо) конъюнктивного суждения является дизъюнктивное суждение, в котором составляющие суждения являются отрицаниями составляющих суждений исходного конъюнктивного суждения. Предположим, что отрицается суждение “Все юристы изучают логику, и все философы изучают логику”. Результатом отрицания является суждение “Некоторые юристы не изучают логику или некоторые философы не изучают логику”.

Таким образом, отрицая суждение формы А В, получаем суждение формы A В. Иначе: (А В) ( А В ).

Последовательно-конъюнктивное

суждение отрицается по следующей схеме: (A B) A B (A B ) (B A).

Например, отрицанием суждения “Целесообразно ликвидировать монополию производителей, а затем целесообразно освободить цены” является суждение “Нецелесообразно ликвидировать монополию производителей или нецелесообразно освобождать цены, или целесообразно ликвидировать монополию производителей и (одновременно) освободить цены, или нужно освободить цены, а затем ликвидировать монополию производителей”.

Одновременно-конъюнктивное суждение отрицается так:

(A B) (A B) (B A) A B.

Результатом отрицания (нестрого) дизъюнктивного суждения является конъюнктивное суждение, в котором составляющие суждения являются отрицаниями составляющих суждений дизъюнктивного суждения. Результатом отрицания суждения “Идет дождь или идет снег” является суждение “Нет дождя, и нет снега”.

Отрицая суждение формы А В, получаем суждение формы A В. Иначе: (А В) ( A В).

Строго-дизъюнктивные суждения отрицаются в соответствии со следующими схемами:

(А В) (А В) ( A В);

3 (А,В,C) (A B C) ( B C) (A B C) ( A B C)

( A В C); и т.д.

Например,

результатом отрицания суждения “Либо Петров совершил это преступление, либо Сидоров” является суждение “Это преступление совершили Петров и Сидоров или ни тот, ни другой не совершали этого преступления”.

Результатом отрицания импликативного суждения является конъюнктивное суждение, в котором одним из составляющих суждений является антецедент исходного суждения, а вторым — отрицание консеквента исходного суждения. Отрицая суждение “Если Иванов имеет высшее образование, то он знает какой-нибудь иностранный язык”, получим конъюнктивное суждение “Иванов имеет высшее образование и не знает ни одного иностранного языка”, т.е., отрицая суждение формы А В, получаем суждение формы А В. Иначе: (А В) (А В).

Условное суждение отрицается по следующей схеме: (А– > В)

(АВ). Здесь -> — знак условного союза “если..., то...”. Например, отрицанием суждения “Если человек закаляется, то он здоров” является суждение “Возможно, что человек закаляется, но не является здоровым”.

Модальные суждения отрицаются по следующим схемам:

А A; A А; А А A.

Упражнение 11

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

1. Некоторые океаны имеют пресную воду.

2. Все свидетели дают правдивые показания.

3. Ни один студент нашей группы не имеет высшего образования.

4. Некоторые прокуроры не имеют высшего образования.

5. Ни один член семьи Ивановых не является честным человеком.

6. Каждый юрист знает некоторого математика лучше, чем каждого логика.

7. Некоторые студенты нашей группы знают какой-нибудь древний язык.

8. Некоторые студенты нашей группы не знают ни одного древнего языка.