bn:00788747n
Noun Concept
Categories: 述語論理, 推論規則
JA
普遍例化  全称化
JA
普遍例化(ふへんれいか、英: Universal instantiation)は、論理学において、あるクラスの全ての個体について真であることからそのクラスの特定の個体について真であると推論すること。 Wikipedia
Definitions
Relations
Sources
JA
普遍例化(ふへんれいか、英: Universal instantiation)は、論理学において、あるクラスの全ての個体について真であることからそのクラスの特定の個体について真であると推論すること。 Wikipedia
Wikipedia
Wikidata
Wikipedia Redirections