Propositional logic is a branch of mathematics that formalizes logic. It is based on simple sentences known as propositions that can either be true or false. Propositional logic includes rules of inference, replacement and generalization that allow for formal proofs of logic. It is also one of the fundamental building blocks of artificial intelligence.
PropositionsA proposition is a particular kind of sentence that can either be true or false. For example:Premise 1: If it's sunny then it's not raining.Premise 2: It's sunny.Conclusion: It's not raining.In the example above, both the premises and the conclusion are propositions.
|Definition||A branch of mathematics that formalizes logic with statements known as propositions.|
|Value||Representing logic in a formal way that can be evaluated by mathematics and computers.|
|Also Known As||Propositional Calculus|
This is the complete list of articles we have written about thinking.
If you enjoyed this page, please consider bookmarking Simplicable.
© 2010-2023 Simplicable. All Rights Reserved. Reproduction of materials found on this site, in any form, without explicit permission is prohibited.
View credits & copyrights or citation information for this page.