Content deleted Content added
Line 9:
Article takes a huge left turn at the logic-free calculus section, by using a formalism that is not explained, and apparently not even linked to the article. This is, indeed, a calculus which is free from logic! [[Special:Contributions/70.247.164.231|70.247.164.231]] ([[User talk:70.247.164.231|talk]]) 21:26, 28 August 2010 (UTC)
:Perhaps this helps? The big horizontal bar is the [[Rule of inference]] -- [[Special:Contributions/67.198.37.16|67.198.37.16]] ([[User talk:67.198.37.16|talk]]) 20:47, 8 July 2016 (UTC)
== From <math>\phi(0)</math> and <math>\phi(x)</math> <math>\to</math> <math>\phi(S(x))</math>, deduce <math>\phi(y)</math>, for any predicate <math>\phi.</math> ==
| |||