1. Главная
  2. Библиотека
  3. Логика
  4. Заданы дизъюнкты: C1: P(x) ∨ ¬R(x) C2: ¬P(g(y)) ∨ Q(y) ...
Решение задачи на тему

Заданы дизъюнкты: 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.

Условие:

. Заданы дизъюнкты:
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)). Для применения правила резолюции необходимо, чтобы выбранные лите...

Выбери предмет