|
Результат отрицания (коммутативно) конъюнктивного суждения — дизъюнктивное суждение, в котором составляющие суждения являются отрицаниями составляющих суждений исходного конъюнктивного суждения. Предположим, что отрицается суждение «Все юристы изучают логику, и все философы изучают логику». Результатом отрицания является суждение «Некоторые юристы не изучают логику или некоторые философы не изучают логику».
Таким образом, отрицая суждение формы АΛВ, получаем суждение формы ¬AѴ¬ B. Иначе: ¬ (АΛВ) <=> (¬AѴ¬В).
Результат отрицания (нестрого) дизъюнктивного суждения есть конъюнктивное суждение, в котором составляющие суждения являются отрицаниями составляющих суждений дизъюнктивного суждения. Результатом отрицания суждения «Идет дождь или идет снег» является суждение «Нет дождя, и нет снега».
Отрицая суждение формы AѴB, получаем суждение формы ¬АΛ¬В. Иначе: ¬(АѴВ)↔( ¬АΛ¬В).
Строго-дизъюнктивные суждения отрицаются в соответст¬вии со следующими схемами:
¬(АѴВ)↔(АΛВ)Ѵ(¬АΛ¬В);
¬Ѵ 3(А,В,С)↔(АΛВΛС)Ѵ(АΛВΛ¬С)Ѵ(АΛ¬ВΛС)Ѵ(¬АΛВΛС)Ѵ(¬АΛ¬ВΛ¬С) и т.д.
Пример. Результатом отрицания суждения «Либо Петров совершил это преступление, либо Сидоров» является суждение «Это преступление совершили Петров и Сидоров или ни тот, ни другой не совершали этого преступления».
Результат отрицания импликативного суждения есть конъюнктивное суждение, в котором одним из составляющих суждений является антецедент исходного суждения, а вторым — отрицание консеквента исходного суждения.
Пример: отрицая суждение «Если Иванов имеет высшее образование, то он знает какой-нибудь иностранный язык», получим конъюнктивное суждение «Иванов имеет высшее образование и не знает ни одного иностранного языка», т.е. отрицание суждения формы АΛ¬В. Иначе ¬(А В)↔(АΛ¬В).
Условное суждение отрицается по следующей схеме:
¬(А→В)↔◊(АΛ¬В). Напомним, что →знак условного союза «если..., то...».
Пример: отрицание суждения «Если человек закаляется, то он здоров» есть суждение «Возможно, что человек закаляется, но не является здоровым».
Модальные суждения отрицаются по следующим схемам:
¬ А↔◊¬А; ¬◊А↔ ¬А; ¬ А↔ АѴ ¬А.
|
