(٢) القياس الشرطي: سُمِّي شرطيًّا؛ لأنه شُرِط وجودُ المقدَّم لوجود التالي بكلمة الشرط؛ وهو (إن)، أو (إذا)، أو ما يقوم مقامهما، ويتركب من "متصلَتين"، نحو: كلما كانت الشمس طالعةً فالنهار موجود وكلما كان النهار موجودًا فالعالم مضيء. أو "منفصلتين"، نحو: العدد إما فرد وإما، زوج والزوج إما زوج وإما زوج الفرد أو "حملية ومتصلة"، نحو: كلما كان زيد إنسانًا كان حيوانًا، وكل حيوان جسم. أو "حملية ومنفصلة"، نحو: العدد إما زوج وإما فرد، وكل فرد غير منقسم بمتساويين. أو "متصلة ومنفصلة"، نحو: كلما كان الشيء مركَّبًا من الوحدات كان عددًا، ودائما العدد إما زوج وإما فرد راجع: معيار العلم، ص ١١٨؛ شرح بحر العلوم ٦٨٢، ٦٨٣. (٣) راجع الكتاب ٢/ ٣٣١، ٣٣٢. (٤) الموافقات ٥/ ٤١٨ - ٤٢١.