Theorem mp_curried ≪ | index | src | ≫

MP规则公式（柯里化形式）

theorem mp_curried (A B: wff): $ (A \imp B) \imp A \imp B $;

Step	Hyp	Ref	Expression
1		imp_reflect	(A \imp B) \imp A \imp B

Axiom use

ZFC (ax_mp, ax_p1, ax_p2)