「数学記号の認知速度 -- 実験心理学的計測方法と実例 --」(by 堀幸雄, 後藤英一, 佐藤雅彦; http://www.jssac.com/Editor/Suushiki/V10/No3/V10N3_113.pdf)のなかに、論理記号の一覧表がありまして(P.11)、こりゃ便利だと思うので、引用しておきます。ペアノの含意は、視力検査で使うような「C」をひっくり返したみたいな記号です。 対応する文献の抜粋: [8] Genzten, G.: Untersuchungen ¨uber das logische Schliesen, Mathematische Zeitshrift, 39, pp. 176-210, 405-431, 1935. [10] G¨odel, K.: ¨Uber formal unentscheidbare S¨atze der Principia mathe
![論理記号のいろいろ - 檜山正幸のキマイラ飼育記 (はてなBlog)](https://cdn-ak-scissors.b.st-hatena.com/image/square/8cd45fb99b1c0e7b43aea483e18375e1b4bf24a2/height=288;version=1;width=512/http%3A%2F%2Fwww.chimaira.org%2Fimg%2Flogical-symbols.gif)