در چه صورت میگوييم ارزش گزارهٔ شرطی $p\Rightarrow q$به انتفای مقدم درست است؟
وقتی كه ارزش مقدم گزاره شرطی يعنی p، نادرست باشد، همواره «$p\Rightarrow q$» دارای ارزش درست بوده و درست يا نادرست بودن q تأثيری در ارزش گزارهٔ شرطی ندارد. در اين حالت میگوييم كه گزارهٔ شرطی به انتفای مقدم درست است.