MyWikiBiz, Author Your Legacy — Monday November 25, 2024
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''. |
| | | |