Questão 2957488

• Banca: COPEVE-UFAL
• Órgão: Prefeitura de Barra de São Miguel - AL
• Ano: 2017
• Provas: COPEVE-UFAL - 2017 - Prefeitura de Barra de São Miguel - AL - Analista de Controle Interno; COPEVE-UFAL - 2017 - Prefeitura de Barra de São Miguel - AL - Assistente Social; COPEVE-UFAL - 2017 - Prefeitura de Barra de São Miguel - AL - Contador; COPEVE-UFAL - 2017 - Prefeitura de Barra de São Miguel - AL - Enfermeiro; COPEVE-UFAL - 2017 - Prefeitura de Barra de São Miguel - AL - Fiscal de tributos; COPEVE-UFAL - 2017 - Prefeitura de Barra de São Miguel - AL - Médico; COPEVE-UFAL - 2017 - Prefeitura de Barra de São Miguel - AL - Procurador Municipal; COPEVE-UFAL - 2017 - Prefeitura de Barra de São Miguel - AL - Psicólogo
• Disciplina: Raciocínio Lógico
• Assuntos: Proposições Categóricas

Considerando que os símbolos ¬, ∧, ∨, ∀ e ∃ representam negação, conjunção, disjunção, quantificador universal e quantificador existencial, respectivamente, e dado o conjunto de premissas {∀ x (¬P(x) ∧ Q(x))}, qual informação abaixo pode ser inferida?

• A. ∀ x (P(x) ∧ Q(x))
• B. ∃ x (P(x) ∧ Q(x))
• C. ∀ x P(x)
• D. ∀ x Q(x)
• E. ∃ x P(x)

Gabarito: D

Comentários

• Irhul! Acertei.. mas só pq eu acabei de fazer ela na . Ainda sem entender.. :/

• Dou parabéns a quem entendeu, porque eu acertei na base do milagre da indução. Se brincar acertei pelo motivo errado. kkkkk

  GAB. "D" (Para os não-assinantes)

• Também acertei no chute.Vamos pedir para o professor comentar :)

• {∀ x (¬P(x) ∧ Q(x)) = para todo x, negação de P e Q.

  Logo, P = F e Q = V

  d) ∀ x Q(x) --> Vp. De fato, qualquer que seja o x, Q(x) é verdadeiro.