Logiweb(TM)

8.4 Proof lines

Prev Up Next Page 315 of 800 Search internet


8.4.1 Proof line constructors
8.4.2 Argumentation lines
8.4.3 End lines
8.4.4 Premises
8.4.5 Conditions
8.4.6 Arbitrary terms
8.4.7 Local definitions
8.4.8 Blocks
8.4.9 Hypotheses

Prev Up Next Page 315 of 800 Search logiweb.eu

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