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.
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar