普遍例化のソースを表示

{{推論規則}}

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

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

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

: <math>\forall x \, A(x) \Rightarrow A(a/x)</math>

ここで <math>A(a/x)</math> は ''A'' における ''x'' の自由な出現を ''a'' で置換した結果を表す。

[[推論規則]]としては次のように記述される。

from ⊢ ∀''x'' ''A'' infer ⊢ ''A''(''a''/''x'')

ここでの ''A''(''a''/''x'') も上と同じ意味である。

Irving Copi は普遍例化について「… [[ゲルハルト・ゲンツェン]]と Stanislaw Jaskowski が1934年にそれぞれ独自に生み出した[[自然演繹]]の規則のバリエーションに従う」と記している。（-pg. 71. Symbolic Logic; 5th ed.）

{{Academia-stub}}

{{DEFAULTSORT:ふへんれいか}}
[[Category:推論規則]]
[[Category:述語論理]]
[[Category:数学に関する記事]]