نتیجۀ استدلال زیر کدام است؟ «هیچ عدد مرکبی، اول نیست.» «۷ عددی مرکب است.»
نکته: $(p\Rightarrow q)\wedge p\Rightarrow q$ گزارۀ «هیچ عدد مرکبی، اول نیست» را میتوان به صورت ترکیب شرطی زیر نوشت: اگر x عددی مرکب باشد، آنگاه x اول نیست. از ترکیب این گزاره با گزارۀ «7 عددی مرکب است» نتیجه میگیریم که 7 اول نیست.