First-Order Logic

This is another type of logic that allows us to express more complex ideas more succinctly than propositional logic.

First order logic uses two types of symbols: Constant Symbols and Predicate Symbols.

Constant symbols: represent objects Predicate symbols: relations or functions that take an argument and return a true or false value.