A ⊃ ( ( A ⊃ B ) ⊃ B ) {\displaystyle A\supset \left({\left({A\supset B}\right)\supset B}\right)}
A , A ⊃ B ⊢ B {\displaystyle A,A\supset B\vdash B}
// դեդուկցիայի թեորեմ
1. A , A ⊃ B ⊢ A {\displaystyle 1.\,\,A,A\supset B\vdash A}
// նախադրյալ
2. A , A ⊃ B ⊢ A ⊃ B {\displaystyle 2.\,\,A,A\supset B\vdash A\supset B}
3. A , A ⊃ B ⊢ B {\displaystyle 3.\,\,A,A\supset B\vdash B}
// m.p. (1,2)
