\forallのこと

述語論理で使う

高校数学をこれと存在量化記号で記述すると便利

日本語で記述されていたりそもそも文字に書き表されていなかった条件を数学の言葉で厳密に表示できる

#2022-10-31 22:04:40

#2020-10-24 14:39:50