如何在描述邏輯中表示這個句子？

Question

如何在描述邏輯中描述這個？

「每個人是男性或女性」

感謝

Answer 1

隨着命題演算，這將被描述爲：

與FORALL; XH（X）⊃（M（x）的∨ F（X））∧（¬（M（x）的∧ F（X）））

其中：

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

在描述邏輯，這是不同的一點點：

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

Answer 2

不必然而，作爲一個新手評論的能力，但我相信你會希望使用「異或」。 ..再說，我想這取決於你的話語的宇宙;）

Answer 3

迄今爲止提供的答案不使用描述邏輯語法（它是無變量的）。 假設你想，在約描述邏輯的科學論文中使用的實際描述邏輯語法，看看這個：

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

寫在乳膠它，您可以使用網上LaTeX的公式編輯器，例如this來渲染這個表達式。