SóProvas


ID
3857122
Banca
FUNDATEC
Órgão
Câmara de Triunfo - RS
Ano
2018
Provas
Disciplina
Raciocínio Lógico
Assuntos

Representação dos conetivos lógicos:

Negação ∼
Conjunção ∧
Disjunção ∨
Disjunção exclusiva ⨁
Condicional ➝
Bicondicional ↔

A tabela verdade de ( ~ P ^ (∼ P➝Q) ➝Q ) é:

Alternativas
Comentários
  • ✅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).

  • Então se for uma condicional sempre vai ser do tipo consequência lógica?

  • Top sua resposata. me ajudou muito.

  • PQP NADA A VER ESSA REDAÇÃO DA BANCA

  • 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.

  • que banca viajada

  • Consequência lógica é um conceito fundamental na lógica. Trata-se de uma relação entre um conjunto de sentenças e uma sentença, na qual o primeiro acarreta o segundo.

    Deduzo que sempre que tiver mais de uma proposição é uma consequência logica.

  • Quando a última operação a ser resolvida for uma condicional e se o resultado é uma tautologia, então será uma tautologia de tipo consequência lógica, pois na condicional, o 2° termo é consequência do primeiro, Se trabalhar, então terei dinheiro. SE eu trabalhar, então logicamente terei dinheiro