معجم مقاليد العلوم في الحدود والرسوم

٩٤٧ - الشَّكلُ الثَّالثُ: مَا كَانَ الْأَوْسَط مَوْضُوعا فِي الصُّغْرَى والكبرى.
٩٤٨ - الشكلُ الرابعُ: مَا كَانَ الْأَوْسَط مَوْضُوعا فِي الصُّغْرَى مَحْمُولا فِي الْكُبْرَى.
(فصل)

٩٤٩ - المختلطاتُ: الأقيسة الْحَاصِلَة من خلط الموجهات بَعْضهَا مَعَ بعض.
٩٥٠ - القياسُ المركبُ: تركيب مُقَدمَات ينْتج بَعْضهَا نتيجة يلْزم مِنْهَا وَمن مُقَدّمَة أُخْرَى نتيجة أُخْرَى إِلَى أَن يُوصل الْمَطْلُوب.
٩٥١ - قياسُ الخُلفِ: إِثْبَات الْمَطْلُوب بِإِبْطَال نقيضه.
٩٥٢ - الاسْتقراءُ: الحكم على كلي لوُجُوده فِي أَكثر جزئياته.
٩٥٣ - التَّمْثِيل: إِثْبَات حكم جزئي فِي جزئي آخر لِمَعْنى مُشْتَرك بَينهمَا.
٩٥٤ - اليقينياتُ: قضايا يكون الحكم فِيهَا جَازِمًا مطابقا ثَابتا.