Отрицание высказываний, содержащих кванторы

Пусть даны высказывания:

Отрицать высказывания, содержащие кванторы, можно двумя способами:

1 способ: С помщью словосочетания «неверно, что», которое ставится перед предложением: неверно, что

неверно, что

2 способ: 1) кванторы заменяются на противоположные.

2) предложение, стоящее после квантора, заменяется его отрицанием.

Пример: Пусть на множестве R задан предикат: .

Обратим этот предикат в высказывание:

ложное высказывание.

истинное высказывание.

1 способ отрицания:

Неверно, что это истинное высказывание;

Неверно, что это ложное высказывание.

2 способ отрицания:

Замечание: Второй спосб построения отрицания высказывания имеет место и в случае построения отрицания многоместных предикатов.