Logic and proofs
Skip to main content\(\require{mathrsfs}\newcommand{\abs}[1]{\left| #1 \right|}
\renewcommand{\emptyset}{\varnothing}
\DeclareMathOperator{\dom}{dom}
\DeclareMathOperator{\range}{rng}
\DeclareMathOperator{\perm}{perm}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\)