Questão 1106617

• Banca: COPEVE-UFAL
• Órgão: ALGÁS
• Ano: 2012
• Provas: COPEVE-UFAL - 2012 - ALGÁS - Analista Contábil; COPEVE-UFAL - 2012 - ALGÁS - Analista Judiciário; COPEVE-UFAL - 2012 - ALGÁS - Engenheiro
• Disciplina: Raciocínio Lógico
• Assuntos: Fundamentos de Lógica

Em relação aos argumentos seguintes,

I . p → q, ~ q | --------- ~ p

II. p → q, q → r | ------- p → r

III. p ∨ q, ~ q |------ p

temos que :

• A. todos são válidos.
  
• B. nenhum deles é válido.
  
• C. apenas I é válido.
  
• D. apenas I e II são válidos
  
• E. apenas I e III são válidos.

Gabarito: A

Comentários

• I . p → q, ~ q | --------- ~ p         Se P, então Q, E Q é falso. Conclusão: P terá que ser Falso para a premissa ser verdadeira. VV=V; VF=F; FV=V; FF=V.
  
  II. p → q, q → r | ------- p → r     Aqui, existe uma relação de pertinencia em que Se P então/implica/pertence a Q, e Q então/implica/pertence a R, logo, P então/implica/pertence a R. 
  
  III. p ∨ q, ~ q |------ p      Na disjunção ao menos uma tem que ser verdadeira para que o argumento seja verdadeiro, logo, se Q é falso, P será necessariamente verdadeiro. VV=V; VF=V; FV=V; FF=F.