Questão 1470817

• 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

Seja I uma função de valoração na lógica proposicional e a fórmula α= (P→ Q), onde P e Q são símbolos proposicionais. É possível afirmar que

• A. Se I(α)=V, então podemos afirmar que I(Q)=V.
• B. Se I(P)=V, então podemos afirmar que I(α)=V.
• C. Se I(α)=F, então podemos afirmar que I(P∨R)→(Q∨R))=F.
• D. Se I(α)=V, então podemos afirmar que I((¬P∨Q)→(P∨Q))=V.
• E. Se I(α)=F, então podemos afirmar que I((¬P∨Q)→(P∨Q))=V.

Gabarito: E

Comentários

• A questão diz:   α= (P→ Q)

   

  Sendo assim a letra E está correta, pois para que I(α)=F será necessário que P seja verdadeira e Q falsa.

   

  (P→ Q)   =   V → F = F

   

  Sendo assim:

   

  I(   (¬P ∨ Q)   →   (P ∨ Q)   )

       (F  V   F)    →    (F  V   F)   

             F         →           F         =   V

   

   

  _____________

  Gabarito letra E