Questão 1470820

• Banca: UNIRIO
• Órgão: UNIRIO
• Ano: 2014
• Provas: UNIRIO - 2014 - UNIRIO - Analista Tecnologia da Informação - Desenvolvimento de Sistemas
• Disciplina: Raciocínio Lógico
• Assuntos: Tautologia, Contradição e Contingência

Sejam α e β, fórmulas na lógica proposicional. É possível afirmar que

• A. Se α e β são satisfazíveis, então α =β.
• B. Se α é insatisfazível, então existe pelo menos uma interpretação I tal que I(α)=V.
• C. Se α e β são insatisfazíveis, então existe pelo menos uma interpretação I tal que I(α → β)=F.
• D. Se α e β são satisfazíveis, então não existe interpretação I tal que I(α → β)=F.
• E. Se α é uma tautologia, então não existe interpretação I tal que I(¬ α)=V.

Gabarito: E

Comentários

• Gabarito letra E

   

  ***Minha interpretação com relação à essa questão:

   

  Se α é uma tautologia, I(¬ α) não pode ser verdadeiro, pois numa tautologia a tabela apresena somente valores verdadeiros, se negar será falsa e não verdade.

• Acredito que o criador da questão se baseou em um trecho da página 36 do PDF que consta no link: (ocultado pelo qconcursos)

  Salvo engano, o PDF utilizou as proposições H e I, mas o criador da questão converteu apenas o H para alfa (α)... o que deixou as alternativas bem estranhas!

  Vale destacar que, no PDF, T = verdadeiro e F = falso.

  Na minha opinião, a alternativa E (correta) ficaria melhor escrita desta maneira:

  e) Se A é uma tautologia, então não existe interpretação B tal que B (~A) = V.

  RESOLUÇÃO: (convertido de acordo com o PDF)

  Se A é uma tautologia ↔ ∀ interpretação B, B [A] = V, logo B [~A] = F.

  Então, ∄ interpretação B, B [~A] = V.

  SÍMBOLOS UTILIZADOS NO PDF:

  - se, e somente se (↔)

  - não existe (∄)

  - para cada, para todos, para qualquer que seja (∀)

  De maneira bem mais simples, acredito que a alternativa E quis dizer:

  Se A = V, então ~A = F, ou seja, não existe ~A = V.