کدام گزاره به انتفای مقدم دارای ارزش درست است؟
نکته: «هرگاه بخواهیم از گزارهٔ p گزارهٔ q را نتیجه بگیریم از نماد «$\Rightarrow $» استفاده میکنیم و آن را بهصورتهای «اگر p آنگاه q»، «p نتیجه میدهد q را» و «q از p نتیجه میشود» میخوانیم.نکته: در گزارهٔ شرطی $p\Rightarrow q$ هرگاه p دارای ارزش نادرست باشد، گزاره به انتفای مقدم دارای ارزش درست است و درست یا نادرست بودن q تأثیری در ارزش این گزاره ندارد.با توجه به نکات باید به دنبال گزارهای شرطی باشیم که قسمت اول (مقدم) آن نادرست است. تنها گزینهٔ 3 گزارهای شرطی است که قسمت اول آن نادرست است. دقت کنید که گزینه 4 یک ترکیب فصلی است.