1. Expresse em lógica de predicados: a) Todo homem é mortal. b) Nenhum homem é extraterrestre. c) Alguns homens são cultos. d) Alguns políticos não...
1. Expresse em lógica de predicados:
a) Todo homem é mortal.
b) Nenhum homem é extraterrestre.
c) Alguns homens são cultos.
d) Alguns políticos não são honestos.
e) Há aves que não voam.
f) Não existe conjunto que contenha a si próprio.
a) Todo homem é mortal.
b) Nenhum homem é extraterrestre.
c) Alguns homens são cultos.
d) Alguns políticos não são honestos.
e) Há aves que não voam.
f) Não existe conjunto que contenha a si próprio.
a) Todo homem é mortal.
b) Nenhum homem é extraterrestre.
c) Alguns homens são cultos.
d) Alguns políticos não são honestos.
e) Há aves que não voam.
f) Não existe conjunto que contenha a si próprio.
a) Todo homem é mortal.
b) Nenhum homem é extraterrestre.
c) Alguns homens são cultos.
d) Alguns políticos não são honestos.
e) Há aves que não voam.
f) Não existe conjunto que contenha a si próprio.
Essa pergunta também está no material:
💡 1 Resposta
Ed 
a) Todo homem é mortal: ∀x (Homem(x) → Mortal(x)) b) Nenhum homem é extraterrestre: ∀x (Homem(x) → ¬Extraterrestre(x)) c) Alguns homens são cultos: ∃x (Homem(x) ∧ Culto(x)) d) Alguns políticos não são honestos: ∃x (Político(x) ∧ ¬Honesto(x)) e) Há aves que não voam: ∃x (Ave(x) ∧ ¬Voa(x)) f) Não existe conjunto que contenha a si próprio: ¬∃x (Conjunto(x) ∧ x ∈ x)
✏️ Responder
Para escrever sua resposta aqui, entre ou crie uma conta
Outros materiais
Perguntas dessa disciplina
Conteúdos escolhidos para você
Compartilhar