\begin{definition}[Definition:Contradictory/Statements]
Two statements $p$ and $q$ are said to be '''contradictory''' {{iff}}:
:whenever $p$ is true, $q$ is false.
and:
: whenever $q$ is true, $p$ is false.
\end{definition}