Отрицанием предиката P(x) называется новый предикат ¬P(x), который принимает значение «истина» при всех значениях переменной из области определения, при которых предикат P(x) принимает значение «ложь», и принимает значение «ложь» при всех переменных, при которых P(x) принимает значение «истина».
Отрицание предиката можно образовать с помощью связки «неверно, что» или с помощью частицы «не».
Например: неверно, что дом большой.
Теорема:
Мн-во истинности отрицания предиката P(x) есть дополнение к множеству T(P).
Белый – (истина) ТМ(х)
Черный – (истина) не ТМ(х)
Их пресечение = пустому мн-ву, а их объединение = Х
