قضیہ «اگر ا تو ب» میں «ا» کو مقدم اور «ب» کو تالی کہا جاتا ہے۔ اس کا منطقی مفہوم یہ ہے کہ مقررہ شرطیہ نسبت صحیح ہو اور ا واقع ہو تو ب کا وقوع لازم آئے۔
مقدم: جس بات کے ہونے کو فرض کیا گیا، مثلاً سورج کا طلوع ہونا۔
تالی: جو اس کے ساتھ لازم قرار دی گئی، مثلاً دن کا موجود ہونا۔
صرف یہ جاننا کہ «اگر ا تو ب» صحیح ہے، ہمیں خودبخود ا یا ب کے واقع ہونے کی خبر نہیں دیتا۔ اس لیے مستقل استثنائی مقدمے کا ہونا ضروری ہے۔