aka predicate logic

An extension of Propositional logic, which adds Objects, Predicates, Functions, and Quantifiers

https://www.wikiwand.com/en/First-order_logic

https://www.youtube.com/watch?v=73AUBVOW-sM