t_wの輪郭

Feedlyでフォローするボタン

2024/3/17 13:09:00

すべての要素が条件を満たすことを示す論理記号

あれ

2024/3/17 15:18:00

「全ての人間は死すべきものである」という命題は以下の論理記号により表現できる。

  • ∀x (Human(x) → Mortal(x))

また、代表的な三段論法である

  • 大前提:全ての人間は死すべきものである。
  • 小前提:ソクラテスは人間である。
  • 結論:ゆえにソクラテスは死すべきものである。

は、以下の論理記号により表現できる。

  • ∀x (Human(x) → Mortal(x))
  • Human(ソクラテス)
  • Mortal(ソクラテス)