Составители:
Рубрика:
определены на множестве небесных тел и вхождения этих
переменных в рассматриваемое предложение связаны квантором
всеобщности. Поэтому перевод данного предложения в стандартную
форму логики имеет вид:
∀x∀y [планета(y) & вращается_вокруг(x,y) → спутник(x,y)].
Это предложение не содержит свободных переменных, поэтому оно
является высказыванием.
3.2. Клаузальная логика
При записи предложений в клаузальной форме кванторы в
явном виде не указываются, но предполагается, что все переменные
связаны квантором всеобщности. Клауза (от англ. clause –
предложение) общего вида записывается следующим образом:
B
,...,B
m
← A ,...,A ,
n
B
1 1
B
,...,B
m
, A ,...,A – это атомарные формулы (n≥0, m≥0), A ,...,A
где B
n n
B
1 1 1
B –
это совместные посылки клаузы, а B
,...,B
m
B
1
B − это альтернативные
заключения.
В стандартной форме клауза равносильна записи
A
& ...& A → B ∨ ... ∨ B
m
.
n1
B
1
B
Таким образом, запятые в посылке клаузы означают конъюнктивные
связки между предложениями, составляющими посылку, а запятые в
заключении клаузы символизируют дизъюнктивные связки между
предложениями, составляющими посылку. Множество клауз
невыполнимо, если из него можно вывести пустое предложение
(обозначаемое
).
Преобразование предложений из стандартной формы
в клаузальную
Любое предложение в стандартной форме может быть
преобразовано в клаузальную форму, причем результирующее
123
Страницы
- « первая
- ‹ предыдущая
- …
- 37
- 38
- 39
- 40
- 41
- …
- следующая ›
- последняя »
