この文を記述ロジックでどのように表現すればよいでしょうか?[閉まっている]

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

初心者なのでまだコメントすることはできませんが、「」を使用するとよいでしょう。排他的または「...繰り返しますが、それはあなたの言説の世界によると思います ;)