Two Powerful New Deduction Rules: ACP/AIP

We turn now and look at two classic logical deduction rules: Assumption for Conditional Proof (ACP; not to be confused with the classic 1911 Automatic Colt Pistol, but equally or more powerful) and Assumption for Indirect Proof (AIP). This is when our genius starts to shine. Most science, law, and life uses these rules Constantly. But as logicians we can say what they are and show Why they work perfectly, flawless, everlastingly. Just like the US 1911 Automatic Colt Pistol. Works every time!