8.5.15 Unary conclude

Prev Up Next Page 340 of 800 Search internet

Unary conclude A Conclude adapts A to something which has form neither C infer D nor All x : C nor S endorse C. So A Conclude 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.

Prev Up Next Page 340 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05