はてなキーワード: 存在量化とは
論理学わかる？
「・・・には・・・もいる」を、「・・・・はすべて・・・だ」にするな。
存在量化子の全称化は中学生がよくやる間違い。
Permalink | 記事への反応(0) | 12:30
ツイートシェア
https://ja.wikipedia.org/wiki/%E5%AD%98%E5%9C%A8%E8%A8%98%E5%8F%B7
存在記号（そんざいきごう、existential quantifier）とは、数理論理学（特に述語論理）において、少なくとも1つのメンバーが述語の特性や関係を満たすことを表す記号である。通常「∃」と表記され、存在量化子（そんざいりょうかし）、存在限量子（そんざいげんりょうし）、存在限定子（そんざいげんていし）などとも呼ばれる。
うーん、知らん＆理解できん
Permalink | 記事への反応(0) | 23:54
