量化理論
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/10 03:00 UTC 版)
量化理論の発明(§11 一般性)。「すべての(all)」や「ある(some)」を扱う量化記号を導入した。これによって「誰もが誰かを愛している」のような多重量化された文を扱うことができるようになった。
※この「量化理論」の解説は、「概念記法」の解説の一部です。
「量化理論」を含む「概念記法」の記事については、「概念記法」の概要を参照ください。
Weblioに収録されているすべての辞書から量化理論を検索する場合は、下記のリンクをクリックしてください。

- 量化理論のページへのリンク