gen-briefly-explain-predicate-logic-and-one-common-misconception-2419

Briefly explain predicate logic and one common misconception about it.

# Predicate Logic **Predicate logic** (also called first-order logic) is a formal system for reasoning that extends basic propositional logic by allowing you to make statements about objects and their properties or relationships. Key features: - **Predicates**: Express properties (e.g., "is blue") or relations (e.g., "is taller than") - **Quantifiers**: "∀" (for all) and "∃" (there exists) let you make statements about groups - **Variables**: Represent objects in a domain Example: "All dogs are mammals" becomes ∀x(Dog(x) → Mammal(x)) ## Common Misconception **"∀x ∃y" means the same as "∃y ∀x"** This is false—**quantifier order matters**! - ∀x ∃y: "For every x, there exists *some* y" (the y can be different for each x) - ∃y ∀x: "There exists *one* y that works for all x" (the same y for everything) Example: "Everyone has a mother" (∀x ∃y) is true, but "There exists one person who is everyone's mother" (∃y ∀x) is false.