如何表示这句话描述逻辑？ [关闭]

Question

如何描述在此描述逻辑？

“每个人是男性或女性”

由于

Answer 1

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

∀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 2

在这里答案提供迄今不使用描述逻辑语法（其是可变免费）。 假设你想，在约描述逻辑的科学论文中使用的实际描述逻辑语法，看看这个：

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

它写在乳胶，您可以使用网上LaTeX的公式编辑器，例如此以使这个表达式。

Answer 3

不必但是作为一个新手评论的能力，但我相信你会想使用“独家或” ......还是那句话，我想这取决于你的话语的宇宙;）