Como representar esta frase na descrição lógica? [fechadas]

Question

Como descrever este na descrição lógica?

"cada ser humano é macho ou fêmea"

Graças

Answer 1

Com cálculo proposicional, este poderia ser descrito como:

?x.H (x) ? (M (x) ? F (x)) ? (¬ (M (x) ? F (x)))

Onde:

H(x) = x is human
M(x) = x is male
F(x) = x is female

Na descrição lógica, é um pouco diferente:

human ⊆ (male ∪ female) ∩ ¬(male ∩ female)

Answer 2

As respostas fornecidas aqui até agora não usar sintaxe Descrição Logic (que é variável-free). Supondo que você quer que a descrição da sintaxe lógica real que é usado em artigos científicos sobre Lógica Descritiva, confira este:

human \sqsubseteq (male \sqcup female) \sqcap \neg (male \sqcap female)

Seu escritas em LaTeX, você pode usar um editor de equações LaTeX on-line, por exemplo, este para tornar esta expressão.

Answer 3

não tem a capacidade de comentar ainda como um novato, mas eu acredito que você gostaria de usar um " exclusivo ou " ... então, novamente, eu acho que depende do seu universo de discurso ;)