>[!abstract] >While [[Propositional logic|propositional logic]] deals with simple declarative propositions linked by [[Logical connectives|logical connectives]], first-order logic augments it with **predicates** that describe properties of objects, **functions** that map objects to one another, and **quantifiers** that allow to reason about multiple objects (Wikipedia, 2025). >[!related] >- **North** (upstream): — >- **West** (similar): — >- **East** (different): — >- **South** (downstream): —