全称量化子と存在量化子
from
2024/02
全称量化子と存在量化子
https://gyazo.com/07dd303240304a540acab64360e4a707
全称記号
と
存在記号
https://ja.wikipedia.org/wiki/全称記号#量化の記号法一覧
ゴットロープ・フレーゲ
概念記法
バートランド・ラッセル
=
アルフレッド・ノース・ホワイトヘッド
ジュゼッペ・ペアノ
プリンキピア・マテマティカ
ゲルハルト・ゲンツェン
論理的推論についての研究 1
Untersuchungen über das logische SchließenⅠ
シュレーダー
、
ウカシェヴィチ
、
タルスキ