A proposição composta cuja tabela-verdade indica uma contrad...

Bizu:

Na contradição, tento fazer tudo ficar verdadeiro. Se eu não conseguir, realmente é uma contradição.

~(~(p ∨ q) → ~p)

Negação do que está em negrito:

• ~P ^ ~Q

Agora negação de toda a sentença observando o conectivo principal que é o "Se, então".

Lembrando que nega o "Se, então" com o "MANÉ" (mantém a 1° e nega a 2°):

• Mantendo a 1° = ~P ^ ~Q
• Negando a segunda = ^ P

Assim, ficará:

(~P ^ ~Q) ^ P

◇ Tentando fazer com que tudo fique verdadeiro:

1. No "e" basta um "F" que tudo será "F", logo ~P (V) ^ ~Q (V) = VERDADEIRO;
2. Segunda parte tem o "e" novamente e a proposição "P" que eu já atribui valor "V" na sentença anterior, como agora "P" é a negação de "~P", o seu valor lógico é o contrário da outra, ou seja, é VERDADEIRA.

Notamos que mesmo eu tentando fazer a proposição ficar VERDADEIRA, eu não consigo, pois ao final o único valor lógico possível é "FALSO".

Gab. A

GAB: A

https://youtu.be/ORihdQABSzQ

eu nego a negação da negação, invés de negar eu tô afirmando

sla faz sentido na minha cabeça

dai seria uma contradição

Tautologia é Quando o resultado da tabela da verdade são todos verdadeiro(VVVV), já a contradição é quando todo o resultado é falso(FFFF) e a contingência é quando o resultado é algun V ou F. Ex.: (VFVV)