全称量化記号
$ \forallのこと
述語論理で使う
高校数学をこれと存在量化記号で記述すると便利takker.icon*3
日本語で記述されていたりそもそも文字に書き表されていなかった条件を数学の言葉で厳密に表示できる
#2022-10-31 22:04:40
#2020-10-24 14:39:50