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

m
ロボットによる 追加: pl:Rezolucja (matematyka)
(cat 論理学 → cat 推論規則)
m (ロボットによる 追加: pl:Rezolucja (matematyka))
[[hu:Rezolúció]]
[[nl:Resolutie (logica)]]
[[pl:Rezolucja (matematyka)]]
[[pt:Princípio da resolução]]
[[ru:Правило резолюций]]
211,088

回編集