فرض کنیم p گزارۀ «باران میبارد.» و q گزارۀ «زمین خیس میشود.» باشد؛ در این صورت گزارۀ «اگر باران ببارد آنگاه زمین خیس میشود.» معادل کدامیک از گزارههای زیر است؟
این گزاره را به صورت $p\Rightarrow q$ باید نشان داد و $p\Rightarrow q$، همارز منطقی $\sim p\vee q$ است.