Propositional Logic

Propositional logic studies how simple declarative statements can be combined using logical connectives — and, or, not, if-then — to form compound propositions whose truth values depend on their components.

This formal system provides the foundation for mathematical proof, computer circuit design, and precise reasoning about any domain where clear true/false distinctions can be made.