اجزاي قياس اقتراني
نوع ديگري از استدلال قياسي در منطق وجود دارد؛ در اين نوع استدلال نتيجه يا نقيض آن در مقدمات استدلال وجود ندارد. در اين نوع قياس، کوچکترين واحد قضيه نيست بلکه اجزاي قضيه از جمله موضوع و محمول داراي اهميت هستند. قالب کلي استنتاج در منطق محمول اصطلاحاً قياس اقتراني ناميده ميشود. قياس اقتراني از دو قضيه حملي تشکيل ميشود و نتيجه آن نيز يک قضيه حملي است؛ به مثالهاي زير توجه کنيد:
- هر آهني فلز است؛ هر فلزي رساناست - پس هر آهني رساناست.
- هر اسبي حيوان است؛ بعضي از اسبها سفيد هستند- پس بعضي از حيوانات سفيد هستند.