この画像の{x}は集合x∈Xですか？

質問

この画像の{x}は集合x∈Xですか？
また、これを述語論理で表すことは可能ですか？

回答No.2

f272 · ベストアンサー

例えば
∀x∈X([x]={x})
とか

お礼

ありがとうございます。

補足

ありがとうございます。例えばということは論理式の表し方は一意では無いといえるでしょうか？
質問の方向性とズレてしまいますが論理式について理解が浅いので質問させて下さい。
お願いします。

回答No.1

f272

> この画像の{x}は集合x∈Xですか？

{x]は集合です。xは集合の要素であって集合ではありません。

> これを述語論理で表すことは可能ですか？

この文脈で「これ」というのは{x}のことになるのでしょうが，それを述語論理であらわしても{x}にしかなりません。命題ですらありませんね。

補足

質問文不足でした。この画像の内容を述語論理で表せるでしょうか。
また、表せるならどのように表すことが出来ますか？

{x}が集合については理解しました。x∈X＝{X}と言ったのはミスです。