Q131548 COPEVE-UFAL - 2019 - Prefeitura de Porto Calvo - AL - Procurador Jurídico
Ano: 2019
Banca: COPEVE-UFAL
Assunto: Equivalência Lógica e Negação de Proposições

Considerando que os símbolos ¬, ∧, ∨, ∀ e ∃ representam negação, conjunção, disjunção, quantificador universal e quantificador existencial, respectivamente, a partir de qual dos conjuntos de premissas abaixo pode-se chegar à conclusão de que ∃ x P(x) ∧ ∃ x Q(x)?

Comentários

Enviando...

Dica: comentários podem ficar como pendentes até aprovação.

Ainda não há comentários aprovados.

Questoes: COPEVE-UFAL - 2019 - Prefeitura de Porto Calvo - AL - Procurador Jurídico