1150797543

2022/7/1 22:48

22回答

大学の論理学に関する質問です。 次の文章を記号に翻訳せよ。 「人間には羽がない」 資料には∀xPxなどの記号が書いていました。 分かる方解答よろしくお願い致します。

大学の論理学に関する質問です。 次の文章を記号に翻訳せよ。 「人間には羽がない」 資料には∀xPxなどの記号が書いていました。 分かる方解答よろしくお願い致します。

大学 | 日本語・64閲覧

ベストアンサー

0
but********

2022/7/2 12:16

主語と述語を記号で表すことになりますね。 Pxなどの記号は 「xはPである」などと典型的には解釈されますが、 臨機応変に表せば良いです。 「人間には羽がない」 に関して、 こういう命題は 「どんなものも人間であれば、それは羽がない」 と解釈すると記号化しやすいです。 Hx xは人間である Wx xには羽がある と設定します。 また、 ¬を 「〜ではない」という否定を表す記号として、 ¬Pxなどのように、命題の冒頭につけて 「xはPではない」を意味させます。 「どんなものも〜であれば」 は ∀x(Px→…) と表します。 以上より 「人間には羽がない」は ∀x(Hx→¬Wx) となります。

ThanksImg質問者からのお礼コメント

丁寧で簡潔な回答をありがとうございます。 回答してくだっさったお二方ありがとうございました。

お礼日時：7/3 22:43

その他の回答（1件）

0
bin********

2022/7/2 0:02

たとえば、動物の個体の集合をAとし、その部分集合である人間の集合をBとし、Aの要素xについて「xには羽がある」をW(x) と表す場合： 「人間には羽がない」 ∀x∊A, x∊B ⇒ ￢W(x) 全体集合Aを明示する必要がない場合は、 ∀x∊B, ￢W(x) ∀x(x∊B ⇒ ￢W(x)) と書けます。 また、「xは人間である」をH(x)と表す場合は、 ∀x∊A, H(x) ⇒ ￢W(x) ∀x(H(x) ⇒ ￢W(x)) と書けます。 これらは∃を使って ￢(∃x∊A, H(x) ∧ W(x)) ￢∃x(H(x) ∧ W(x)) とも書けます。 ご質問文に記述されている情報が不足しているため、出題者が求める解答が特定できません。必要なら補足をお願いします。