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

Question

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

“每个人都是男性或女性”

由于

Answer 1

到目前为止，这里提供的答案不使用描述逻辑语法（它是无变量的）。 假设您需要有关描述逻辑的科学论文中使用的实际描述逻辑语法，请查看：

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

用LaTeX编写，您可以使用在线LaTeX公式编辑器，例如： this呈现此表达式。

Answer 2

使用命题演算，这将被描述为：

∀x.H（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 3

没有能力作为新手发表评论，但我相信你会想要使用“独家或”...然后再说一遍，我想这取决于你的话语世界;）