如何在描述逻辑中表示这句话？

Question

如何在描述逻辑中描述这个？

"每个人都是男性或女性"

谢谢

Answer 1

到目前为止,这里提供的答案不使用描述逻辑语法(它是无变量的).假设您需要有关描述逻辑的科学论文中使用的实际描述逻辑语法,请查看以下内容:

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

它用LaTeX编写,你可以使用在线LaTeX公式编辑器,例如这个来渲染这个表达式.

Answer 2

对于命题演算，这将被描述为：

\n\n

∀xH(x) ⊃ (M(x) ∨ F(x)) ∧ (Ø(M(x) ∧ F(x)))

\n\n

在哪里：

\n\n

H(x) = x is human\nM(x) = x is male\nF(x) = x is female\n

\n\n

在描述逻辑上，有点不同：

\n\n

human \xe2\x8a\x86 (male \xe2\x88\xaa female) \xe2\x88\xa9 \xc2\xac(male \xe2\x88\xa9 female)\n

\n