Математическое введение в декларативное программирование. Зюзысов В.М. - 32 стр.

UptoLike

ВУЗ: 

ТГУ | Томск

Составители: 

Рубрика: 

б) если f − операция местности n, а t
1
, t
2
, ..., t
n
− термы, то f(t
1
, t
2
, ..., t
n
) − терм.
Определение формул:
а) если P − предикат местности n, а t
1
, t
2
, ..., t
n
− термы, то P(t
1
, t
2
, ..., t
n
) есть (атомарная)
формула;
б) если P, Q суть формулы, x − переменная, то выражения (P)~(Q), (P)⊃(Q), (P)∨(Q),
(P)∧(Q), ¬(P), ∀x(P), ∃x(P) суть формулы.
32

Страницы