0676 ◆QZaw55cn4c 垢版 | 大砲2018/02/23(金) 14:37:43.07ID:sqb03DcC >>671 [A] とは、演繹操作の上では演繹に使用した仮定のうち A を除去することを示します A, B, C, D, ... から結論 Z を得たとき、f(A, B, C, D, ... )->Z これから A->Z に演繹するときには B, C, D, .... -------- A->Z いいかえると f(B, C, D, ... ) -> (A->Z) とします