Em dedução natural, é comum utilizar regras derivadas de regras primitivas. Três dessas regras são modus tollens (MT), lei do terceiro excluído (LT...

A alternativa correta é a letra B, somente a afirmação II está correta. I. A LTE (Lei do Terceiro Excluído) afirma que uma proposição só pode ser verdadeira ou falsa, não havendo um terceiro valor. Portanto, a afirmação I está incorreta. II. A DPA (Demonstração por Absurdo) é uma técnica que consiste em assumir a negação da proposição a ser provada e, a partir disso, deduzir uma contradição. Se for encontrada uma contradição, a proposição original é verdadeira. Portanto, a afirmação II está correta. III. MT (Modus Tollens) é um modo de prova que consiste em afirmar a negação da consequência de uma proposição condicional. Portanto, a afirmação III está incorreta. Dessa forma, somente a afirmação II está correta.