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

m
ロボットによる 追加: ru:Правило резолюций
((誤)a_i → (正)a_j)
m (ロボットによる 追加: ru:Правило резолюций)
[[nl:Resolutie (logica)]]
[[pt:Princípio da resolução]]
[[ru:Правило резолюций]]
[[zh:归结原理]]
42,396

回編集