مثلا: " كل ذهب معدن " فإنها صادقة، ولابد أن تصدق معها " بعض الذهب معدن " قطعا. ومثل " بعض الذهب أسود " فإنها كاذبة ولابد أن تكذب معها " كل ذهب أسود ".
2 - المتضادتان (1): وهما المختلفتان في الكيف دون الكم وكانتا كليتين. وسميتا " متضادتين " لأنهما كالضدين يمتنع صدقهما معا ويجوز أن يكذبا معا.
ومعنى ذلك: أنه إذا صدقت إحداهما لابد أن تكذب الأخرى، ولا عكس، أي: لو كذبت إحداهما لا يجب أن تصدق الأخرى.
فمثلا: إذا صدق " كل ذهب معدن " يجب أن يكذب " لا شئ من الذهب بمعدن ". ولكن إذا كذب " كل معدن ذهب " لا يجب أن يصدق " لا شئ من المعدن بذهب " بل هذه كاذبة في المثال.
3 - الداخلتان تحت التضاد (2): وهما المختلفتان في الكيف دون الكم وكانتا جزئيتين. وإنما سميتا " داخلتين تحت التضاد " لأنهما داخلتان تحت الكليتين (3) كل منهما تحت الكلية المتفقة معها في الكيف من جهة، ولأنهما على عكس الضدين في الصدق والكذب، أي: أنهما يمتنع اجتماعهما على الكذب، ويجوز أن يصدقا معا.
ومعنى ذلك: أنه إذا كذبت إحداهما لابد أن تصدق الأخرى، ولا عكس، أي: أنه لو صدقت إحداهما لا يجب أن تكذب الأخرى.
فمثلا: إذا كذب " بعض الذهب أسود " فإنه يجب أن يصدق " بعض