あれ2024/3/17 15:18:00 「全ての人間は死すべきものである」という命題は以下の論理記号により表現できる。 ∀x (Human(x) → Mortal(x)) また、代表的な三段論法である 大前提:全ての人間は死すべきものである。小前提:ソクラテスは人間である。結論:ゆえにソクラテスは死すべきものである。は、以下の論理記号により表現できる。 ∀x (Human(x) → Mortal(x)) Human(ソクラテス)Mortal(ソクラテス)