حالي . . فهو نفل ، ومعلوم أنه يؤدى على الراحلة بكل حال ؛ فثبت أنه نفل .
وهذا النمط يتطرق إليه أربع تسليماتي؛ ينتج منها اثنان ، ولا ينتج اثنان .
أما المنتج . . فتسليم عين القضية التي سميناها مقدما ؛ فإنه ينتج عين اللازم .
مثاله : قولنا : إن كانت هلذه الصلاة صحيحة . . فالمصلى متطهژ، ومعلوم أن هذه الصلاة صحيحة ، فيلزم أن يكون المصلي متطهرا .
ومثاله من الحس : قولنا : إن كان هلذا سوادا . . فهو لون ، ومعلوم أنه سواد؛ فهو إذا لون .
وأما المنتج الآخر . . فهو تسليم نقيض اللازم ؛ فإنه ينتج نقيض المقدم .
ومثاله : قولنا : إن كانت هلذه الصلاة صحيحة . . فالمصلي متطهر ، ومعلوم أن المصلي غير متطهر ؛ فينتج : أن الصلاة ليسث صحيحة.
فانظر كيف أنتج تسليم نقيض اللازم نقيض المقدم .
ومثاله أيضا : قولنا : إن كان بيع الغائب صحيحا . . فهو يلزم بصريح الإلزام ، ومعلوم أن هذا اللازم باطل ؛ فإنه ليس يلزم بصريح
पृष्ठ 104