Question

O conceito mais elementar no estudo da lógica é o de Proposição. Proposição "vem de propor" que significa submeter à apreciação; requerer um juízo. Trata-se de uma sentença declarativa - algo que será declarado por meio de termos, palavras ou símbolos - e cujo conteúdo poderá ser considerado verdadeiro ou falso. Pensando nisso, traduza a sentença lógica em uma tabela verdade, onde F é uma contradição. (~p ^ ~q) => F Observações: Utilize o template disponível no material da disciplina para responder o Mapa. Antes de finalizar a atividade confira se o arquivo postado é o correto, pois após a finalização não é possível efetuar a troca de arquivo.

Answer 1

Traduzindo a sentença lógica em uma tabela verdade, onde F é uma contradição, teremos que: Tautologia; tautologia; contingência.

Uma dica para resolver questões como essa, mas sem necessitar usar aquelas tabelas verdade gigantescas, é usar um macete que consiste em substituir todos os elementos da proposição pela letra F (falso).

Na sequência,  você deverá resolver sempre de dentro para fora dos parêntesis.

Assim, se resultar V, teremos uma tautologia.

Veja:

P= ~ (F--> ( ~F --> F) )

V--> V

V (tautologia)

Q= (F ^ F) v F --> F ^ (F v F )

F v F --> F ^ F

F --> F  

V (tautologia)

R= ( F--> F) <--> ~F v F

V<--> F  

F  (contingência)

Então a resposta correta é: Tautologia; tautologia; contingência.