«اگر ا تو ب؛ اگر ب تو ج» سے «اگر ج تو ا» لازم آتا ہے۔الاقترانیات من الشرطیات — شرطیہ قیاسات اور ترکیبات