Propositional Logic
Propositional logic, or sentential logic, is the branch of mathematical logic that studies the logical relationships between propositions (statements, sentences, assertions) taken as a whole and connected via logical connectives. It is the simplest and most abstract form of logic. In propositional logic, propositions are the basic units of analysis. A proposition is a declarative statement that is either true or false but cannot be both. Examples of propositions include: - "It is raining outside." - "2 + 2 = 4." - "Paris is the capital of France." Propositions are represented by symbols, usually uppercase letters like A, B, C, etc. Atomic propositions are the most basic propositions that cannot be broken down further. Propositional logic uses logical connectives to build compound propositions from simpler ones. The main connectives are: 1. Negation (¬): Negates a proposition. If p is a proposition, then ¬p means "not p" and is true when p is fal
