MyWikiBiz, Author Your Legacy — Sunday April 20, 2025
Jump to navigationJump to search
127 bytes added
, 18:52, 10 May 2010
Line 1:
Line 1:
+
<font size="3">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].
+
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''.
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''.