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

削除された内容 追加された内容
Takatota (会話 | 投稿記録)
m編集の要約なし
Rei-bot (会話 | 投稿記録)
20行目:
[[en:Resolution (logic)]]
[[hu:Rezolúció]]
[[nl:Resolutie (logica)]]
[[pt:Princípio da Resoluçãoresolução]]
[[zh:归结原理]]