Logiweb(TM)

6.7 Mathematical proofs

Prev Up Next Page 86 of 800 Search internet


6.7.1 Compile a mathematical proof
6.7.2 The claim of the multzero page
6.7.3 The contents of the multzero page
6.7.4 Layout
6.7.5 Line L01 of the proof
6.7.6 Line L02-L08 of the proof
6.7.7 Line L03 of the proof
6.7.8 Line L04-L05 of the proof
6.7.9 Line L06-L07 of the proof
6.7.10 Line L09 of the proof
6.7.11 Line L10 of the proof
6.7.12 Implementation of lemmas
6.7.13 Representation of object quantifiers
6.7.14 Wellformed formulas
6.7.15 Propositional calculus
6.7.16 First order predicate calculus
6.7.17 Peano arithmetic
6.7.18 Further reading on proof checking

Prev Up Next Page 86 of 800 Search logiweb.eu

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