AV. AULA 4 ROBERTO

Prévia do material em texto

Exercício: CEL0270_EX_A4_201603425641  Matrícula: 201603425641
Aluno(a): ROBERTO SOUZA DE CARVALHO Data: 04/05/2016 19:34:39 (Finalizada)
  1a Questão (Ref.: 201604034817)  Fórum de Dúvidas (0)       Saiba   (0)
De acordo com a fórmula p Λ (p → q) ==> q, qual alternativa abaixo está CORRETA em relação as regras de
inferência desta implicação lógica?
  Eliminação
Modus Tollens
Simplificação
Adição
  Modus Ponens
 Gabarito Comentado
  2a Questão (Ref.: 201603606951)  Fórum de Dúvidas (0)       Saiba   (0)
Considerando as proposições compostas: P: (p→pvq) e Q: (pvq) e as afirmações (I) Q=> P (II) P=> Q É
somente correto afirmar que
  Nenhuma das afirmações.
I e II
  I
II
Nada se pode afirmar.
  3a Questão (Ref.: 201603476126)  Fórum de Dúvidas (0)       Saiba   (0)
Considerando as proposições compostas P: (p→p^q) e Q: (p^q) e as afirmações:
(I) Q=> P
(II) P=> Q
É somente correto afirmar que:
  Somente (II) é verdadeira.
Nada podemos afirmar.
  Somente (I) é verdadeira.
Ambas são falsas.
Ambas são verdadeiras.
  4a Questão (Ref.: 201604041901)  Fórum de Dúvidas (0)       Saiba   (0)
A implicação lógica de p em p V q é válida pois sabemos que:
  Nenhuma das acima
  Quando p é verdadeiro, p V q também é verdadeiro.
Quando p é verdadeiro, p V q é falso.
Quando p é falso, p V q é falso.
Quando p é falso, p V q é verdadeiro.
 Gabarito Comentado  Gabarito Comentado
  5a Questão (Ref.: 201604034819)  Fórum de Dúvidas (0)       Saiba   (0)
De acordo com a fórmula ~q Λ (p → q) ==> ~p, qual alternativa abaixo está CORRETA em relação as regras de
inferência desta implicação lógica?
  Modus Ponens
Adição
  Modus Tollens
Simplificação
Eliminação
  6a Questão (Ref.: 201604041877)  Fórum de Dúvidas (0)       Saiba   (0)
Das opções abaixo, qual delas NÃO faz parte das principais regras de implicação?
Modus Tolens
Silogismo Disjuntivo
  Modus Ponens
Silogismo Hipotético
  Silogismo Complexo