Условие:
. Заданы дизъюнкты:
C1: P(x) ∨ ¬R(x),
C2: ¬P(g(y)) ∨ Q(y)
Построить резольвенту C1 и C2

. Заданы дизъюнкты:
C1: P(x) ∨ ¬R(x),
C2: ¬P(g(y)) ∨ Q(y)
Построить резольвенту C1 и C2
Шаг 1. Запишем исходные дизъюнкты: C1: P(x) ∨ ¬R(x) C2: ¬P(g(y)) ∨ Q(y)
Шаг 2. Выбираем литералы для резолюции. В дизъюнкте C1 выберем литерал P(x), а в C2 – ¬P(g(y)). Для применения правила резолюции необходимо, чтобы выбранные лите...