コトバンクはYahoo!辞書と技術提携しています。

量記号(読み)りょうきごう

大辞林 第三版の解説

りょうきごう【量記号】

述語論理において、変項によって表される対象の数量を表現する論理記号。「すべての」を表す普遍量記号と、「いくつかの」または「存在する」を表す存在量記号とがある。量化子。

出典 三省堂大辞林 第三版について 情報

今日のキーワード

鑑定留置

被疑者・被告人が精神障害などで刑事責任能力を問えない可能性がある場合に、精神・心身の状態を鑑定するため、被疑者・被告人を病院などの施設に留置すること。捜査機関が裁判所に請求し、認められた場合に、期限を...

続きを読む

コトバンク for iPhone

コトバンク for Android