Logiweb(TM)

8.5 Argumentation

Prev Up Next Page 325 of 800 Search internet


8.5.1 Argumentation proof lines
8.5.2 The unification tactic
8.5.3 Axioms
8.5.4 Line numbers
8.5.5 The init operator
8.5.6 Lemmas
8.5.7 Meta modus ponens
8.5.8 Instantiation
8.5.9 Unary instantiation
8.5.10 Modus probans
8.5.11 Verify
8.5.12 Unary modus probans
8.5.13 Unary modus ponens
8.5.14 Conclude
8.5.15 Unary conclude
8.5.16 Infer
8.5.17 Quantify
8.5.18 Curry and Uncurry
8.5.19 Reference and dereference
8.5.20 Cut

Prev Up Next Page 325 of 800 Search logiweb.eu

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