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