Операции над предикатамиНад предикатами выполняются те же операции, что и над высказываниями. 1) Отрицание.
Рис. 1. Область истинности отрицания предиката 2 ) Конъюнкция Р (х)
Рис. 2. Область истинности конъюнкция предикатов 3) Дизъюнкция Р (х)
Рис. 3. Область истинности дизъюнкции предикатов 4) Импликация Р (х)
Рис. 3. Область истинности импликаци предикатов 5) Эквиваленция Р (х)
Рис. 4. Область истинности эквиваленции предикатов
|
- предикат, множеством истинности которого является множество, для которого предикат Р – ложный.
Q(х) – это предикат, область истинности которого равна М 
∩ М 
.
Q(х) – предикат, область истинности которого равна М 
М 
Q(х) – предикат, у которого область истинности совпадает с дополнением разности М 
).
Q(х) – предикат, область истинности которого совпадает с объединением пересечения М 
.
