「導出原理」の版間の差分

削除された内容 追加された内容
D'ohBot (会話 | 投稿記録)
m ロボットによる 追加: uk:Правило резолюцій
15行目:
 
== 関連項目 ==
* [[エルブランの定理]]
* [[スコーレム標準形]]
 
 
{{DEFAULTSORT:とうしゆつ}}