<На страницу назад | На страницу вперед>
А.2.3 Операторы
<operator> ::= <defop> | <termop> | <sentop>
<defop> :;= define-individual | define-function | define-relation
| := | :=>
<termop> ::= number-of | if | cond | the
<boolop> ::= not | and | or | xor | => |
<=>
<quant> ::= forall | exists | exists[!]-<posint>
<sentop> ::= <boolop> | <quant>