Natural deduction refers to related proof systems for several different kinds of logic, intended to be similar to the way people actually reason. Unlike many other proof systems, it has many rules and few axioms. Sequents in natural deduction have only one formula on the right side.
To give one example, the proof rules and are:
|Date of creation||2013-03-22 13:05:14|
|Last modified on||2013-03-22 13:05:14|
|Last modified by||Henry (455)|