「一階述語論理での導出」を解説文に含む見出し語の検索結果(1～4/4件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/10/21 06:25 UTC 版)「導出原理」の記事における「一階述語論理での導出」の解説述語論理のリテラルには個体変数が...
ナビゲーションに移動検索に移動導出原理（どうしゅつげんり、英: resolution principle）とは、ジョン・アラン・ロビンソン（英語版）により1965年に提案された[1&#...
ナビゲーションに移動検索に移動導出原理（どうしゅつげんり、英: resolution principle）とは、ジョン・アラン・ロビンソン（英語版）により1965年に提案された[1&#...
ナビゲーションに移動検索に移動導出原理（どうしゅつげんり、英: resolution principle）とは、ジョン・アラン・ロビンソン（英語版）により1965年に提案された[1&#...
< 前の結果 | 次の結果 >