gen-briefly-explain-propositional-logic-and-one-common-misconcep-c704

Briefly explain propositional logic and one common misconception about it.

# Propositional Logic **Propositional logic** is a formal system for reasoning about statements that are either true or false. It uses logical connectives (AND, OR, NOT, IF-THEN) to combine simple propositions into complex ones, allowing us to determine the truth of compound statements based on their components. For example: If P = "It is raining" and Q = "The ground is wet," we can form "P → Q" (if it is raining, then the ground is wet). ## Common Misconception **Confusing "if-then" with causation or temporal ordering:** Many people misunderstand the material conditional (→). In propositional logic, "If P then Q" is false *only* when P is true and Q is false—it's true in all other cases, including when P is false. This leads to the counterintuitive result that "If 2+2=5, then the moon is made of cheese" is *true* in propositional logic (because the antecedent is false). The logical conditional only describes a relationship between truth values, not causation, plausibility, or real-world connection—which often conflicts with how we use "if-then" in everyday language.