|Page 358 of 800||Search internet|
The sequent operators are defined thus:
(1) If evaluates to .
(2) If avoids all terms in and , i.e. if the meta-variable does not occur free in any of the premisses in and side conditions in .
(3) If the statement aspect of equals .
|Page 358 of 800||Search logiweb.eu|