طبق قوانین جبر گزاره‌ها داریم: $(p\Rightarrow q)\Rightarrow q\equiv (\sim p\vee q)\Rightarrow q\equiv \sim (\sim p\vee q)\vee q\equiv (p\wedge \sim q)\vee q\equiv (p\vee q)\wedge (\underbrace{\sim q\vee q}_{T})\equiv p\vee q$