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

大学 | 日本語64閲覧

ベストアンサー

0

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

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

お礼日時:7/3 22:43

その他の回答(1件)

0

たとえば、動物の個体の集合を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)) とも書けます。 ご質問文に記述されている情報が不足しているため、出題者が求める解答が特定できません。必要なら補足をお願いします。