Na lógica proposicional, existe um sistema de raciocínio baseado em dedução natural que produz uma prova de uma conclusão a partir de premissas e hipóteses. Dadas as assertivas a seguir, julgue-as como verdadeiras ou falsas.

I. Uma frase declarativa admite somente valores verdadeiros ou falsos.

II. A regra de inferência denominada modus ponens é uma regra que prova a conclusão por negação.

III. É impossível eliminar uma conjunção em uma prova.

IV. A dedução natural é um método de raciocínio que não produz conhecimento novo.

Quais alternativas estão corretas?

A.

Alternativas I e IV.

B.

Alternativas I, II e IV.

C.

Alternativas III e IV.

D.

Alternativas I e II.

E.

Alternativas II e IV.