Logic

AKA

AKA Digital Logic as engineers know it

The value of a logic expression is true (1) or false (0). Important operators here are NOT $\neg$, AND $\wedge$, OR $\vee$, IMPLIES $⟹$, IFF (if and only if) $⟺$. A summary of the effects of these operators can be found below.

Predicates are expressions that are true or false depending on their parameters. They are denoted by capital letters. A quantifier connects a logical expression to the elements of a set ($\forall$, and $\exists$).