Question

Considere que P é o conjunto das pessoas e H é o conjunto dos homens [pessoas
do sexo masculino]. Escreva na linguagem da lógica as sentenças a seguir:

a) Todas as pessoas são inteligentes.
b) Existe homem elegante.
c) Existe pessoa que é homem.
d) Todo homem é uma pessoa.
el Toda pessoa é rica ou bonita.
f) Existe pessoa inteligente e bonita.​

Answer 1

(a) ∀ P são inteligentes.

(b) ∃ H elegante.

(c) ∃ P que é H.

(d) ∀ H é uma P.

(e) ∀ P é rica ∨ bonita.

(f) ∃ P inteligente ∧ bonita.

Esta questão está relacionada com lógica matemática. Nesse âmbito da matemática, as sentenças são consideradas como proposições e devemos seguir três princípios para ter qualquer conclusão:

1. Princípio da identidade: cada proposição é igual a si própria.
2. Princípio da não-contradição: cada proposição não pode ser verdadeira e falsa ao mesmo tempo.
3. Princípio do terceiro excluído: cada proposição é verdadeira ou falsa.

Nesses casos, devemos utilizar quantificadores lógicos e proposições para efetuar as afirmações do enunciado. Em cada alternativa, temos o seguinte:

(a) ∀ P são inteligentes.

(b) ∃ H elegante.

(c) ∃ P que é H.

(d) ∀ H é uma P.

(e) ∀ P é rica ∨ bonita.

(f) ∃ P inteligente ∧ bonita.