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