存在量化子とは？
そんざいりょうかし
「〜なものが少なくとも一つある」を論理記号で表す ∃ のことだよ。
存在量化子（∃）とは「〜なものが少なくとも一つ存在する」ということを表す記号だよ。たとえば「赤い花が存在する」のように、一つでも当てはまるものがあれば正しいことを表すんだ。全称量化子（∀）とセットで述語論理の大切な道具だよ。
つかいかた・れいぶん
「赤い花が少なくとも一つある」ということを記号で書くときに使う ∃ のことだよ。
このことばを シェア
さいごの こうしん: