限量子

論理学の授業で、「全ての〜」や「ある〜」といった限量子の使い方を学んだ。

存在限量子を正しく配置しないと、この証明の論理構成が崩れてしまう。

全称限量子を含む命題を否定する場合、その対偶を考えるのが一般的だ。