Question

Texto-base: Uma dedução lógica consiste em utilizar uma sequência de afirmações verdadeiras e uma combinação de regras válidas.

Enunciado: Para realizar uma dedução lógica devemos utilizar:

Alternativas:

a)
As regras de derivadas e as implicações.

b)
As regras de sinal e as equivalências.

c)
As regras de derivadas e as regras de inferências.

d)
As equivalências e as regras de inferências.

e)
As derivadas e as regras de inferências.

ADM

Answer 1

A lógica proposicional utiliza-se de equivalências e regras de inferências para fazer deduções lógicas corretas. Logo, alternativa D.

Isso acontece do fato da lógica proposicional ser fundada axiomaticamente.

Partimos do que é dado, ou seja, assumimos certos axiomas sem questioná-los e então vemos quais tipos de teoremas chegamos, isto é, as afirmações que podem ser ditas a partir de outras que já estão dadas.

Por exemplo: da proposição p podemos concluir p V q. Isso é logicamente correto segundo a lógica clássica. Portanto, alternativa D.