Способы отрицания суждений

Два суждения называются отрицающими или противоречащими друг другу, если одно из них истинно, а другое ложно (они не могут

ить одновременно истинными и одновремен-ю ложными).

Отрицающими являются следующие пары

:уждений:

1. А — О. «Все S суть Р» и «Некоторые S не

;уть Р».

2. Е — I. «Ни одно S не суть Р» и «Некото-

)ые S суть Р».

3. «Это S суть Р» и «Это S не суть Р».
Операцию отрицания в виде образования

нового суждения из данного следует отличать эт отрицания, входящего в состав отрицатель­ных суждений. Существует два вида отрицаний: внутреннее и внешнее. Внутреннее — указыва­ет на несоответствие предиката субъекту («Не­которые люди не имеют высшего образова­ния»). Внешнее отрицание означает отрицание всего суждения («Неверно, что Харьков явля­ется столицей Украины»).

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

К

сутулы называются закона­ми де Моргана. Применив их, получим:

_;ЛЦьнии имеется импли­кация, то ее необходимо заменить на тожде­ственную формулу без импликации (с дизъюнк­цией), а именно:

(a~->b) = (avb).