普遍例化

ウィキペディア

普遍例化

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/01/27 03:41 UTC 版)

普遍例化（ふへんれいか、英: Universal instantiation）は、論理学において、あるクラスの全ての個体について真であることからそのクラスの特定の個体について真であると推論すること。全称量化子による量化規則で一般に表されるが、公理としても記述できる。これは、一階述語論理で使われる基本原則の1つである。

例:「全ての犬は動物である。ポチは犬である。従って、ポチは動物である」

ある項 a について公理スキーマとして記号的に表すと以下のようになる。

$\forall x\,A(x)\Rightarrow A(a/x)$ この項目は、学問に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています。