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

数量詞 すうりょうし quantifier

翻訳|quantifier

1件 の用語解説(数量詞の意味・用語解説を検索)

ブリタニカ国際大百科事典 小項目事典の解説

数量詞
すうりょうし
quantifier

記号論理学述語論理に表れる量記号。述語論理は,命題論理命題相互の形式的関係を取り扱えるだけで,命題から命題へ移るときの推論の正しさ,ひいては命題の論理構造を問題にしえないという限界をこえるため開発された。

本文は出典元の記述の一部を掲載しています。

出典|ブリタニカ国際大百科事典 小項目事典
Copyright (c) 2014 Britannica Japan Co., Ltd. All rights reserved.
それぞれの記述は執筆時点でのもので、常に最新の内容であることを保証するものではありません。

数量詞の関連キーワード述語論理論理記号記号論記号論理学述語論理学伝統的論理学数理論理学タルスキ命題論理一階述語論理

今日のキーワード

パラチオン、パラチオンメチル

パラチオンは無色で油状の液体、パラチオンメチルはコハク色の液体。ともに毒性が強く、有機リン系殺虫剤として使用された。50年代以降、稲の害虫被害を防ぐことが確認され、広く導入された。しかし、農民の中毒死...

続きを読む

コトバンク for iPhone

数量詞の関連情報