Copyright (c) レディースアイテム All Rights Reserved.

消費者金融書き込み

消費者金融書き込みページ





用語

量化(りょうか、英: Quantification)とは、言語や論理学において、論理式が適用される(または満足される)議論領域の個体の量を指定すること。

述語論理(じゅつごろんり、predicate logic)とは、数理論理学における記号的形式体系群を指す用語で、一階述語論理、二階述語論理、多ソート論理(英語版)、無限論理などが含まれる。これらの形式体系の特徴は、論理式に含まれる変数を量化できる点である。一般的な量化子として、存在量化子 ∃ と全称量化子 ∀ がある。変数は議論領域の要素、関係、関数などである。例えば、関数記号に対する存在量化はある関数が存在するという修飾として解釈される。述語論理の基礎は、ゴットロープ・フレーゲとチャールズ・サンダース・パースがそれぞれ独自に生み出し発展させた。述語論理と言った場合、一階述語論理を指すこともある。述語論理の公理化された形態を述語計算 (predicate calculus) と呼び、述語論理は非形式的でより直観的なものとする見方もある。