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