در قیاس استثنایی حقیقی، دو حالت معتبر وجود دارد:
1. وضع مقدم: در این حالت، مقدم قضیه شرطی را تأیید میکنیم. نتیجه این است که تالی قضیه شرطی نیز تأیید میشود.
مثال: اگر هوا بارانی باشد ، زمین خیس میشود . هوا بارانی است . پس زمین خیس میشود
2. رفع تالی در این حالت، تالی قضیه شرطی را نفی میکنیم. نتیجه این است که مقدم قضیه شرطی نیز نفی میشود.
مثال: اگر هوا بارانی باشد ، زمین خیس میشود . زمین خیس نیست پس هوا بارانی نیست
حالتهای دیگری که به نظر معتبر میرسند ولی در منطق حقیقی معتبر نیستند، «وضع تالی» و «رفع مقدم» هستن