|Page 340 of 800||Search internet|
Unary conclude adapts to something which has form neither nor nor . So keeps adding unary modus ponens, unary instantiation, and verification operators until all inferences, meta-quantifiers, and endorsements in the root have been eliminated. Use of the operator were mentioned here and here.
|Page 340 of 800||Search logiweb.eu|