✅Gabarito(B)
⨠TAUTOLOGIA
Valores lógicos somente verdadeiros;
⨠ CONTRADIÇÃO
Valores lógicos somente falsos;
⨠ CONTINGÊNCIA
Quando não for nenhum dos dois acima, ou seja, valores lógicos verdadeiros e falsos.
Meu método de resolução:
( ~ P ^ (∼ P➝Q) ➝Q )
Quando a questão quiser saber se é tautologia, force a proposição a ficar falsa. Se conseguirmos deixá-la falsa, nãos erá tautologia.
Temos uma condicional (P ➝ Q), que só é falsa na linha da Vera ➝ Fischer = F, então Q tem que ser falsa e a primeira parte ( ~ P ^ (∼ P➝Q) tem que ser V. Para que a primeira parte, que é uma proposição composta unida pelo conectivo ''e'', fique verdadeira, as duas partes tem que ser verdadeiras, então ~P tem que ser F:
( ~ P ^ (∼ P➝Q) ➝Q )
( F ^ (F➝F) ➝F )
F ^ F ➝ F
F ➝ F = VERDADEIRA
Veja que não conseguimos deixar a condicional falsa, então quer dizer que é uma tautologia. Mas por que tautologia do tipo consequência lógica? Porque temos a condicional P ➝ Q, que significa ''Se P então Q''.
Dando nome as proposições para melhor entendimento:
P = Estudo
Q = Passo no concurso
P ➝ Q
Se estudo então passo no concurso. (O fato de eu estudar gera uma consequência, que é passar no concurso. O fato de estudar, fez com que eu passasse no concurso, portanto, consequência lógica).
GABARITO B.
( ~ P ^ (∼ P➝Q) ➝Q ) primeiramente vou atribuir valores falsos para testar
~ F ^ (∼ F➝F) ➝F )
V ^ F ➝ F
F ➝ F= verdadeiro
( ~ P ^ (∼ P➝Q) ➝Q ) agora vou atribuir valores verdadeiros
( ~ V ^ (∼ V➝V) ➝V )
F ^ F ➝ V
F ➝ V= verdadeiro
Sendo só verdadeiro será tautologia.
Veja que, como a Simone disse, somente seria falso no caso da Vera Fischer V➝F= Falso, mas como deu verdadeiro nos duas tentativas minhas, então será tautologia do tipo consequência.