Questão 2233720

• Banca: COPEVE-UFAL
• Órgão: Prefeitura de Inhapi - AL
• Ano: 2015
• Provas: COPEVE-UFAL - 2015 - Prefeitura de Inhapi - AL - Assistente Social; COPEVE-UFAL - 2015 - Prefeitura de Inhapi - AL - Auditor Fiscal da Receita Municipal; COPEVE-UFAL - 2015 - Prefeitura de Inhapi - AL - Contador; COPEVE-UFAL - 2015 - Prefeitura de Inhapi - AL - Procurador Municipal
• Disciplina: Raciocínio Lógico
• Assuntos: Fundamentos de Lógica; Proposições Simples e Compostas e Operadores Lógicos; Quantificadores

Considerando que os símbolos ∀, ∃, ~, → e ∨ representam a quantificação universal, quantificação existencial, negação, implicação e disjunção, respectivamente, do conjunto de premissas {∀x(~P(x)∨Q(x)∨R(x)), ∀xP(x)}, infere-se que

• A. ∃x(R(x)→Q(x)).
• B. ∃x(Q(x)→R(x)).
• C. ∃x(~Q(x)→R(x)).
• D. ∃x(~Q(x)→~R(x)).
• E. ∃x(~R(x)→~Q(x)).

Gabarito: C

Comentários

• REGRAS DE INFERÊNCIA (DEDUÇÃO)

   

  {PTx (~P(x) v Q(x) v R(x)), PT P(x)}

   

   

  1. PTx (~P(x) v Q(x) v R(x))   1ª hipótese

   

  2. PTx P(x)                             2ª hipótese

  ____________________________________

   

  3. PTx (~P(x) v Q(x) v R(x)) => (~A v B) v C => A --> B v C => PTx (P(x) --> Q(x) v R(x))       1 CP (CONTRAPOSITIVA EM 1)

   

  4. PTx P(x), PTx (P(x) --> Q(x) v R(x)) => PTx (Q(x) v R(x)   2,3 MP (MODUS PONENS EM 2 E 3)

   

  5. PTx (Q(x) v R(x)) => PTx (~Q(x) --> R(x))    4 CP (CONTRAPOSITIVA EM 4) RESPOSTA LETRA "C"

   

   

   

   

  * PT = PARA TODO

   

   

   

   

• Boa resolução Francisco, mas contrapositiva é:  p → q   ≡  ~q → ~p
  
  o que você fez em 1 e 4 foi essa equivalência:  p → q ≡  ~p v q

• Vale chorar?

• SO COR RO!!! NEM ENTENDI O QUE A QUESTÃO PEDE! ALGUÉM PRA AJUDAR?

• Sabemos que p → q ≡ ~p v q   ≡ ~q → ~p

  Foi dado : q v r , entao fazemos ≡ ~q → r ≡ ~r → q

  GABRITO: C

• https://www.youtube.com/watch?v=bqwNchQW49E&t=1s

  No minuto "50" explica essa questão

  Bons estudos

• Tem que usar o modus ponens