2006-07-25 量化子 これまた wikipedia の全称記号だけれども、以前ある記述がフレーゲ流で意味不明だったがちょっと分かった。それと とかの が Bool としての演算から来ていることに気がついて感心した。