💠 ابن‌سینا در بخشی از کتاب القیاس از مجموعه‌ی شفاء نیز به این بحث مستقلاً پرداخته است، حیث قال: 🔻و کسی که گمان کرده جمله‌ی «هرزمان اگر p پس آنگاه q» یک قضیه‌ی حملیه است چرا که جمله‌ی «هرزمان اگر x انسان باشد پس x حیوان است» مساوی است با جمله‌ی «هر انسان حیوان است» پس از چندین جهت خطا کرده است: إلخ (کتاب القیاس ص ۲۶۴) @safsat