<На страницу назад | На страницу вперед>
А.2.5 Предложения
<sentence> ::= <atomsent> | <boolsent> | <quantsent>
<atomsent> ::= (= <term> <term>) | (/= <term> <term>)
| (<term> <term>+)
<boolsent> ::= (not <sentence>) | (and <sentence>
<sentence>+) | (or <sentence> <sentence>+) | (xor
<sentence> <sentence>+) | (=> <sentence> <sentence>)
| (<=> <sentence> <sentence>)
<quantsent> ::= (<quant> <var> <sentence>]) |
(forall (<var>+ [: <sentence>+]) <sentence>) |
(exists (<var>+ [: <sentence>+]) <sentence>) |
(exists[!]-<posint> (<var> : <sentence>) <sentence>)