規則 MP' : A, A⊃B |- B A A⊃B ----------[Exch] A⊃B A ---------[MP] B規則 ∧の交換 : A∧B |- B∧A A∧B -------------------[Dup] A∧B A∧B ----[Sel-2] ----[Sel-1] B A ---------------[And] B∧A規則 Cut : A⊃B, B⊃C |- A⊃C #1 --- A⊃B A ---------[MP] B B…