Editing Predicate Logic (section)

== <span style="color: #FFFFFF;">Understanding</span> ==
Predicate logic is understood through '''Quantification''' and '''Relationships'''.

'''1. The Power of "All" and "Some"''':
Propositional logic is too "Small" for most math.
* You can't say "All numbers are even" with simple P and Q.
* Predicate logic allows you to "Loop" over a whole world.
* **∀x (Even(x))**: This statement is only true if every single 'x' in the world is even.
* This allows us to write "General Rules" rather than just "Individual Facts."

'''2. Relationships (Relations)''':
Predicate logic can describe "Graphs" and "Connections."
* **Likes(x, y)**: This is a relationship between two people.
* We can say complex things like: "There is someone (x) who is liked by everyone (y)."
* **∃x ∀y Likes(y, x)**.
* This is the foundation of "SQL Databases"—every query you run on a database is actually a statement in predicate logic.

'''3. The "Scope" of a Variable''':
Variables are "Bound" by their quantifiers.
* Just like in programming, a variable 'x' inside a "For Each" loop only exists inside that loop.
* Logic allows us to "Nests" these loops to create incredibly complex descriptions of reality.

'''The 'Syllogism' Upgrade'''': Aristotle's famous "Socrates is mortal" logic was actually the very first (and simplest) form of predicate logic. It took 2,000 years for Gottlob Frege to add the "Quantifiers" (∀ and ∃) to turn it into the "Full Version" we use today.
</div>

<div style="background-color: #8B0000; color: #FFFFFF; padding: 20px; border-radius: 8px; margin-bottom: 15px;">