пользователей: 21251
предметов: 10459
вопросов: 177801
Конспект-online
зарегистрируйся или войди через vk.com чтобы оставить конспект.
РЕГИСТРАЦИЯ ЭКСКУРСИЯ


10 Отрицание предикатов. Теорема о мн-ве истинности отрицания предикатов:)

Отрицанием предиката P(x) называется новый предикат ¬P(x), который принимает значение «истина» при всех значениях переменной из области определения, при которых предикат P(x) принимает значение «ложь», и принимает значение «ложь» при всех переменных, при которых P(x) принимает значение «истина».

Отрицание предиката можно образовать с помощью связки «неверно, что» или с помощью частицы «не».

Например: неверно, что дом большой.

Теорема:

Мн-во истинности отрицания предиката P(x) есть дополнение к множеству T(P).

 

 

 

 

 

 

Белый – (истина) ТМ(х)

Черный – (истина) не ТМ(х)

Их пресечение = пустому мн-ву, а их объединение = Х

 


23.06.2014; 18:14
хиты: 689
рейтинг:0
Точные науки
математика
алгебра
для добавления комментариев необходимо авторизироваться.
  Copyright © 2013-2016. All Rights Reserved. помощь