ВУЗ:
Составители:
Рубрика:
45
qr
qprp
qpC
rpC
2
1
∨
∨∨
∨
∨
,
:
:
В данном примере q
r
∨ - резольвента.
Пример: 10.2.
srp
sqrqp
sqC
rqpC
2
1
∨∨
∨∨∨
∨
∨∨
,
:
:
В данном примере
s
r
p
∨∨ - резольвента.
Пример: 10.3.
q
pqp
pC
qpC
2
1
,
:
:
∨
∨
В данном примере q - резольвента.
Пример: 10.4.
rpC
qpC
2
1
∨
∨
:
:
В данном примере резольвенты не существует.
Теорема 10.1.
Пусть даны два дизъюнкта C
1
и С
2
. Тогда
резольвента С дизъюнктов C
1
и С
2
есть их логическое следствие.
Доказательство
. Пусть дизъюнкты C
1
и С
2
содержат
контрарную пару переменных σ и
σ
, т.е.
11
CC
′
∨
=
σ
и
22
CC
′
∨=
σ
, где
1
C
′
и
2
C
′
- некоторые дизъюнкты. Пусть также
21
CCC
′
∨
′
= - резольвента C
1
и С
2
.
Пусть C
1
и С
2
истинны в некоторой интерпретации I. Нужно
показать, что резольвента C дизъюнктов C
1
и С
2
также истинна в I.
Страницы
- « первая
- ‹ предыдущая
- …
- 43
- 44
- 45
- 46
- 47
- …
- следующая ›
- последняя »
