() , .
, ( ). ,
._ = 2934
._ = ._
.
, , , , .
NOT, AND, OR IF... THEN (NOT > AND > OR) . , form , comp , NOT form, comp AND form, comp OR form IF comp THEN form .
, _ (. . 1).
. 1. , _
:
IF ._ = ''THEN (._ >= 22400.00 AND ._ = 1)true :
_ | _ | _ | _ |
22400.00 | |||
29600.00 | |||
18000.00 | |||
20000.00 | |||
22000.00 | |||
29600.00 | |||
18000.00 | |||
20000.00 | |||
22000.00 | |||
(EXISTS) (FORALL). form , var, EXISTS var (form) FORALL var (form) . , EXISTS var (form) true , var (), form true. FORALL var (form) true, var form true.
1 2 , .
EXISTS 2 (1._ > 2._)
1 true , ( 2), _ . , true 1, , . . 2a ( . 1).
|
|
. 2.
FORALL 2 (1._ 2._)
1 true , ( 2) _ . , true 1, , . . 2b.