Какие операции выполняются над предикатами в логическом программировании?

В логическом программировании над предикатами выполняются различные операции, среди них:

• Конъюнкция. ru.wikipedia.org it.rfei.ru Создаёт новый предикат, который истинен только при тех значениях, при которых истинны оба исходных предиката. ru.wikipedia.org it.rfei.ru Другое название — логическое умножение. code-basics.com
• Дизъюнкция. ru.wikipedia.org it.rfei.ru Создаёт новый предикат, который ложен только при тех значениях, при которых ложны оба исходных предиката. it.rfei.ru Другое название — логическое сложение. code-basics.com
• Отрицание. ru.wikipedia.org it.rfei.ru Создаёт новый предикат, который истинен только при тех значениях, при которых исходный предикат ложен, и наоборот. ru.wikipedia.org
• Импликация. ru.wikipedia.org it.rfei.ru Создаёт новый предикат, который ложен только при тех значениях, при которых исходный предикат истинен, а другой — ложен, и наоборот. ru.wikipedia.org it.rfei.ru Запись операции обычно имеет вид «Если A(x), то B(x)». www.homework.ru
• Эквиваленция. it.rfei.ru Создаёт новый предикат, который истинен только при тех значениях, для которых исходные предикаты имеют одинаковые значения. it.rfei.ru

Кроме логических операций, над предикатами могут выполняться квантовые операции — использование кванторов существования, всеобщности и других. www.homework.ru