\part{First Order Logic}

An extension of propositional logic

\chapter{Predicates}


Predicate
Symbol that evaluates its truth by whether its argument of a certain type satisfies some relation
P(x)


\chapter{Quantifiers}

Universal quantifier (FORALL)
Existential quantifier (EXISTS)

De morgan's law (first orde)
