全称化 (GEN)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/25 04:10 UTC 版)
全称化規則とは、x が変数のとき、φ から ∀x φ を導出してよいという規則である。これは、論理式全体の集合の上の関係としては次のように定義することができる： GEN = { (φ, ∀x φ) | φ は論理式かつ x は変数 } 。 (φ1, φ2) ∈ GEN であるとき、φ2 は φ1 からの全称化による導出であるという。
※この「全称化 (GEN)」の解説は、「一階述語論理」の解説の一部です。
「全称化 (GEN)」を含む「一階述語論理」の記事については、「一階述語論理」の概要を参照ください。
ウィキペディア小見出し辞書の「全称化」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
このページでは「ウィキペディア小見出し辞書」から全称化を検索した結果を表示しています。
Weblioに収録されているすべての辞書から全称化を検索する場合は、下記のリンクをクリックしてください。
全ての辞書から全称化
を検索
Weblioに収録されているすべての辞書から全称化を検索する場合は、下記のリンクをクリックしてください。
全ての辞書から全称化
を検索
- 全称化のページへのリンク
