Question

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 (LTE) e demonstração por absurdo (DPA).

Sobre elas, analise as afirmações:

I. A LTE permite um terceiro valor para uma proposição.

II. A DPA diz que é possível deduzir uma proposição se, a partir de uma negação, encontrarmos uma contradição.

III. MT é um modo de provar pela afirmação.

​​​​​​​Está correto o que se afirma em qual(is) alternativa(s)?

Selecione a resposta correta
A
I, II.

B
I, III.

C
I, II, III.

D
I, apenas.

E
II, apenas.

Answer 1

Resposta:

II, apenas.

Explicação: