Friday, August 6, 2010

Rules of logical derivation

Welcome to math tutors online for free
The rules of logical
derivation. This is a less popular thing to do, because the legal
steps in a mathematical derivation are typically very obviously truth-
preserving. math help, Here's a simple example of a mathematical derivation:

1) Assumption: Every natural number has a successor
that is itself a natural number.
2) Assumption: Zero is a natural number.
3) Definition: One is the successor of zero.
-------------------------------------------
4) Theorem: One is a natural number.

The only claim being made here is that if we accept the two
assumptions and the definition above, then we must accept that one is
a natural number. learn more on math forum.

No comments:

Post a Comment