در گزاره p ⟹ q هر موقع تالی درست باشد، فارغ از ارزش p ( مقدم)، نتیجه درست خواهد بود. در واقع گزاره p ⟹ q تنها در صورتی نادرست می باشد که مقدم درست و تالی نادرست باشد و در بقیه موارد نتیجه درست خواهد بود.