**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.

## Propositions

A 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.Overview: Propositional Logic | ||

Function | LogicArtificial Intelligence | |

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 | |

Related Techniques | Inference |