絶対性 (数理論理学)

ウィキペディア

絶対性 (数理論理学)

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/02/28 18:42 UTC 版)

数理論理学において、論理式がある構造（モデルとも呼ばれる）のクラスについて絶対的であるとは、そのクラスに属する各構造において同じ真理値を持つことをいう。また、式が2つの構造を含むクラスに対して絶対的であれば、2つの構造の間で絶対的であると言うこともある。絶対性に関する定理は通常、数式の絶対性とその統語論的形式との関係を確立する。