Cadernos de Questões

Provas Favoritas

Filtros Salvos

Questões de Concursos

Foi encontrada 1 questão.
#1986068
Raciocínio Lógico: Equivalências - Proposições Logicamente Equivalentes
2018 COPEVE-UFAL UFAL
Enfermeiro +

Considerando que os símbolos ¬, ∧, ∨, ∀ e ∃ representam negação, conjunção, disjunção, quantificador universal e quantificador existencial, respectivamente, as equivalências lógicas das fórmulas ¬∃xP(x) ∧ ∃yQ(y) e ∀x(¬P(x) → ¬Q(x)) são, respectivamente,

  • ∀x ¬P(x) ∧ ∃yQ(y) e ∀x(Q(x) → P(x)).
  • ∃x ¬P(x) ∧ ∃yQ(y) e ∀x(Q(x) → P(x)).
  • ∃x ¬P(x) ∧ ∃yQ(y) e ¬∀x(P(x) → Q(x)).
  • ∃x ¬P(x) ∧ ∃yQ(y) e ¬∃x(P(x) → Q(x)).
  • ∀x ¬P(x) ∧ ∃yQ(y) e ¬∃x(P(x) → Q(x)).
Fale com IAgo
IAgo - Assistente IAProva
IA
Olá! Sou o IAgo, seu assistente aqui no IAProvatec 😊
Veja como posso te ajudar:
Agora