مثلا (کل ذهب معدن) فانها صادقة ولابد أن تصدق معها (بعض الذهب معدن) قطعا. ومثل (بعض الذهب اسود) فانها کاذبة ولا بد أن تکذب معها (کل ذهب اسود).
٢ ـ (المتضادتان)(١)وهما المختلفتان في الکيف دون الکم وکانتا کليتين. وسميتا متضادتين لانهما کالضدين يمتنع صدقهما معا ويجوز أن يکذبا معا.
ومعني ذلک أنه اذا صدقت احداهما لا بد أن تکذب الاخري ولا عکس أي لو کذبت احداهما لا يجب أن تصدق الاخري.
فمثلا اذا صدق (کل ذهب معدن) يجب أن يکذب (لا شيء من الذهب بمعدن).
ولکن اذا کذب (کل معدن ذهب) لا يجب أن يصدق (لا شيء من المعدن بذهب) بل هذه کاذبة في المثال.
٣ ـ (الداخلتان تحت التضاد) (٢) وهما المختلفتان في الکيف دون الکم وکانتا جزئيتين. وانما سميتا داخلتين تحت التضاد لا نهما داخلتان تحت الکليتين (٣) کل منهماتحت الکلية المتفقة معها في الکيف من جهة ولا نهما على عکس الضدين في الصدق والکذب أي انهما يمتنع اجتماعهما على الکذب ويجوز أن يصدقا معا.
ومعنى ذلک : انه اذا کذبت احداهما لابد أن تصدق الاخري ولا عکس أي انه لو صدقت احداهما لا يجب أن تکذب الاخري.
فمثلا اذا کذب (بعض الذهب اسود) فانه يجب أن يصدق (بعض
____________________
(١) راجع شرح المنظومة : ص ٦١ ، والجوهر النضيد : ص ٦١ ، وشرح الإشارات : ص ١٨٢ ، والنجاة : ص ٢٧ ، والتحصيل : ص ٧٨.
(٢) راجع شرح المنظومة : ص ٦١ ، والجوهر النضيد : ص ٦٢ ، وشرح الإشارات : ص ١٨٢ ، والنجاة : ص ٢٧ ، والتحصيل : ص ٨٩.
(٣) اللام للعهد ، أي : الكليتين المختلفتين بالإيجاب والسلب ، أعني المتضادتين اللتان مضى البحث عنهما آنفا.