Considerando o símbolo !$ → !$ representando a implicação Considerando, também, três fórmulas bem formadas quaisquer, da lógica proposicional !$ α !$, !$ β !$ e !$ θ !$, sendo !$ θ !$ = !$ α !$!$ → !$!$ β !$, em qual circunstância !$ θ !$ é uma contradição?