Predicate Logic

$\forall x(M(x)\to D(x))$ — For all $x$, if $x$ is a man, then $x$ is mortal.

Quadratic Formula

x=2a−b±b2−4ac