如何在描述逻辑中描述这个？
“每个人要么是男性要么是女性”
谢谢
问问题
945 次
3 回答
6
到目前为止，此处提供的答案不使用描述逻辑语法（无变量）。假设您想要有关描述逻辑的科学论文中使用的实际描述逻辑语法，请查看以下内容：
human \sqsubseteq (male \sqcup female) \sqcap \neg (male \sqcap female)
它是用 LaTeX 编写的，你可以使用在线的 LaTeX 公式编辑器，例如this来渲染这个表达式。
于 2009-05-27T22:47:12.103 回答
3
使用命题演算，这将被描述为：
∀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)
于 2009-05-27T07:01:39.550 回答
1
作为新手还没有能力发表评论，但我相信您会想使用“独家或”……再说一次，我想这取决于您的话语范围；）
于 2009-05-27T06:24:22.137 回答