記述ロジックでこの文を表現する方法は？

Question

これは説明ロジックでどのように記述するのですか？

は初心者として、まだコメントすることはできません

おかげ

Answer 1

）、これは、として記述することになります。

＆forallは、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) 

Answer 2

「すべての人間は、男性または女性のいずれかである」しかし、私は、あなたが「排他的または」を使用したいと考えています。 ; ...その後、再び、私はそれは談話のユニバースに依存推測命題論理で

Answer 3

これまでに提供された回答は説明論理構文（可変ではありません）を使用していません。 このチェックアウト、あなたが記述論理についての科学論文で使用されている実際の記述論理の構文をしたいと仮定：

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

のLaTeXで書かれたその、あなたがオンラインLaTeXの数式エディタを使用することができ、例えばthisこの式をレンダリングします。