Основные операции, которые применяются к предикатам в логике:
- Конъюнкция. spravochnick.ru Конъюнкция двух предикатов принимает истинное значение при тех и только тех значениях, при которых каждый из предикатов принимает истинное значение, а ложное значение — во всех остальных случаях. spravochnick.ru
- Дизъюнкция. spravochnick.ru Дизъюнкция двух предикатов принимает ложное значение при тех и только тех значениях, при которых каждый из предикатов принимает ложное значение, и принимает истинное значение во всех остальных случаях. spravochnick.ru
- Отрицание. spravochnick.ru Отрицание предиката принимает истинное значение при всех значениях, при которых предикат принимает ложное значение, и наоборот. spravochnick.ru
- Импликация. spravochnick.ru Импликация предикатов является ложным при тех и только тех значениях, при которых один из предикатов истинно, а другой — ложно, и принимает истинное значение во всех остальных случаях. spravochnick.ru
- Эквиваленция. it.rfei.ru Эквиваленция предикатов является истинным для тех и только тех значений, для которых предикаты имеют одинаковые значения. it.rfei.ru
Кроме логических операций, над предикатами могут выполняться квантовые операции — использование кванторов существования, всеобщности и т.п.. www.homework.ru