ВУЗ:
Составители:
Рубрика:
44
пропозициональные переменные:
p: конгресс отказывается действовать;
q: забастовка оканчивается;
r: президент фирмы уходит в отставку;
s: забастовка длится более года.
Тогда рассматриваемое высказывание может быть записано на
языке исчисления высказываний следующим образом:
?:
_______________
:
))((:
−
∨→
sG
rpqF
rsqpF
2
1
Используя теорему 9.2, получаем
=∧∧∨→=∧∧ srpqrsqpGFF
21
)())(((
=∧∧∧=∧∨∨= )())(()())(( srpqsrqpsrpqrsqp
0srpqsrpq =∧= )()(
и, следовательно, заключение G является верным.
10. Метод резолюций для исчисления высказываний
Метод резолюций для исчисления высказываний
Определение. Дизъюнктом называется дизъюнкция
пропозициональных переменных.
Определение.
Пропозициональные переменные p и p
называются контрарными
.
Определение.
Для любых двух дизъюнктов C
1
и C
2
, если
существует переменная
σ
1
в C
1
, которая контрарна переменной
σ
2
в C
2
, то вычеркнув σ
1
и
σ
2
из C
1
и C
2
соответственно, и построив
дизъюнкцию оставшихся дизъюнктов, получим резольвенту
C
1
и
C
2
.
Определение.
Дизъюнкт, не содержащий переменных,
называется пустым
(обозначаем П). Такой дизъюнкт по
определению противоречив.
Пример 10.1.
Страницы
- « первая
- ‹ предыдущая
- …
- 42
- 43
- 44
- 45
- 46
- …
- следующая ›
- последняя »
