量化子

これまた wikipedia の全称記号だけれども、以前ある記述がフレーゲ流で意味不明だったがちょっと分かった。

それと とかの が Bool としての演算から来ていることに気がついて感心した。