واعلم ان قولك إذا قلت ان يكون، وقلت ممكن ان لا يكون، وقلت غير ممتنع ان يكون، وغير ممتنع ان لايكون، وقلت غير واجب ان لا يكون، فكلها متلائمات أي متفقات المعاني. واعلم ان قولك واجب ان لا يكون، ممتنع ان يكون، غير ممكن ان يكون متفقات المعاني. واعلم قولك غير واجب ان يكون، غير واجبان لا يكون متفقان. واعلم ان قولك غير ممتنع ان يكون وقولك غير ممتنع ان لا يكون متفقان. واعلم ان قولك ممكن ان لا يكون وممكن ان لا يكون متفقان. واعلم ان هذه الستة كلها متفقة. واعلم ان قولك ممكن ان يكون ليس نفيه ممكن ان لا يكون، لكن نفيه ان تقول: لا ممكن ان يكون، ونقيض قولك واجب ان يكون قولك لا واجب ان يكون، وضده واجب ان لا يكون، ونقيض ممتنع أن يكون لا ممتنع ان يكون، وضده ممتنع ان لا يكون. وهذا الذي سميناه نحن فيما خلا نفيا عاما ونفيا خاصا. واعلم ان قولك كل مؤلف لا ازلي، وقولك ليس واحد من المؤلفات ازليا متفقان، وقولك ليس كل مرضعة حراما وقولك بعض المرضعات حلال متفقان، وقولك بعض المؤلفات غير مركب، وقولك ليس كل مؤلف مركبا متفقان. واعلم ان قولك ليس واحد من المؤلفات غير محدث وقولك كل مؤلف محدث متفقان ومما يدخل [٤٥ظ] في هذا النوع كل عدد استثني منه عدد كقولك مائة غير واحد ملائم لقولك تسعة وتسعين، وقولك مائة غير تسعة وتسعين ملائم لقولك واحد. وكذلك كل عدد أضفت إليه عددا آخر يلائم العدد المساوي كقولك ثلاثة وسبعة فذلك ملائم لقولك عشرة فاعلمه. والجامع لهذا الباب هو أنك إذا اثبت معنى بلفظ ايجاب لشيء ما ثم نفيت عن ذلك الشيء نفي الصفة التي اوجبت له، فقد أوجبت له تلك الصفة. وكل كلام اعطي معنى كاعطاء كلام آخر فالكلامان مختلفان والمعنى واحد، فاحفظ هذا، واضبطه.