Changes

In [[mathematical logic]], a '''propositional calculus''' ('''sentential calculus''') is a [[formal system]] that represents the materials and the principles of ''propositional logic'' (''sentential logic'').  Propositional logic is a domain of formal subject matter that is, up to [[isomorphism]], constituted by the structural relationships of mathematical objects called ''[[proposition (mathematics)|proposition]]s''.

In [[logic]] and [[mathematics]], a '''propositional calculus''' (or a '''sentential calculus''') is a [[formal system]] that represents the materials and the principles of ''propositional logic'' (or ''sentential logic'').  Propositional logic is a domain of formal subject matter that is, up to [[isomorphism]], constituted by the structural relationships of mathematical objects called ''[[proposition (mathematics)|proposition]]s''.

In general terms, a calculus is a [[formal system]] that consists of a set of syntactic expressions (''well-formed formulas'' or ''wffs''), a distinguished subset of these expressions, plus a set of transformation rules that define a [[binary relation]] on the space of expressions.   

In general terms, a calculus is a [[formal system]] that consists of a set of syntactic expressions (''well-formed formulas'' or ''wffs''), a distinguished subset of these expressions, plus a set of transformation rules that define a [[binary relation]] on the space of expressions.   

==Alternative calculus==

==Alternative calculus==

It is possible to define another version of propositional calculus, which defines most of the syntax of the logical operators by means of axioms, and which uses only one inference rule.

It is possible to define another version of propositional calculus, which defines most of the syntax of the logical operators by means of axioms, and which uses only one inference rule.

     revision as of 03:44, 6 September 2006 by Jon Awbrey

     revision as of 03:44, 6 September 2006 by Jon Awbrey

//-->

//-->