Come rappresentare questa frase nella descrizione logica?

Question

Come descrivere questa descrizione nella logica?

"ogni essere umano è maschio o femmina"

Grazie

Answer 1

Con calcolo proposizionale, questo sarebbe descritto come:

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

dove:

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

In descrizione logica, è un po 'diverso:

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

Answer 2

non hanno la possibilità di commentare ancora come un novizio, ma credo che si desidera utilizzare un "esclusivo o". .. poi di nuovo, credo che dipende dal vostro universo del discorso;)

Answer 3

Le risposte qui fornite non usano la sintassi Descrizione logica (che è senza variabili). Supponendo che si desidera che la descrizione della sintassi effettiva logica che viene utilizzato in articoli scientifici su logiche descrittive, controllare questo:

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

sua scritti in LaTeX, è possibile utilizzare un editor di equazioni LaTeX on-line, per esempio this per rendere questa espressione.