¿Cómo representar esta oración en la descripción lógica?

Question

¿Cómo describir esto en la descripción de la lógica?

"cada ser humano es hombre o mujer"

Gracias

Answer 1

Con cálculo proposicional, esto se describiría como:

y forall; xH (x) ⊃ (M (x) ∨ F (x)) ∧ (¬ (M (x) ∧ F (x)))

donde:

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

En la descripción lógica, que es un poco diferente:

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

Answer 2

no tienen la posibilidad de comentar sin embargo, como un novato, pero yo creo que se desea utilizar una "exclusiva o". .. por otra parte, supongo que depende de su universo de discurso;)

Answer 3

Las respuestas proporcionadas aquí hasta el momento no usan la sintaxis de Descripción Lógica (que es libre de variables). Suponiendo desea que la sintaxis lógica Descripción real que se utiliza en trabajos científicos sobre lógicas descriptivas, echa un vistazo a esto:

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

Su escritos en LaTeX, se puede usar un editor de ecuaciones LaTeX en línea, por ejemplo, this para representar esta expresión.