فنقول: أما المتقابلان فما لا يجتمعان في شيء واحد من جهة واحدة، وهو إما أن لا يصح اجتماعهما في الصدق ولا في الكذب، أو يصح ذلك في أحد الطرفين.
فالأول: هما المتقابلان بالسلب والإيجاب، وهو تقابل التناقض، والتناقض هو اختلاف القضيتين بالسلب والإيجاب على وجه لا يجتمعان في الصدق ولا في الكذب لذاتيهما كقولنا: زيد حيوان، زيد ليس بحيوان، ومن خاصيته استحالة اجتماع طرفيه في الصدق والكذب، وأنه لا واسطة بين الطرفين ولا استحالة لأحد الطرفين إلى الآخر … "