تینوں اقسام کے فرق کو ایک ہی معیار پر پرکھیے:
حقیقیہ: دونوں سچ ناممکن؛ دونوں جھوٹ بھی ناممکن۔ مثال: صحیح عدد جفت یا طاق۔
مانعۃ الجمع: دونوں سچ ناممکن؛ دونوں جھوٹ ممکن۔ مثال: ایک چیز درخت یا پتھر۔
مانعۃ الخلو: دونوں جھوٹ ناممکن؛ دونوں سچ ممکن۔ مثال: چیز انسان نہیں یا حیوان ہے۔
حقیقیہ میں دونوں ممانعتیں جمع ہیں؛ باقی دونوں میں ان میں سے ایک ممانعت اصل معیار ہے۔ اسی لیے تقسیم سمجھنے کے لیے «دونوں سچ؟» اور «دونوں جھوٹ؟» دو سوال فیصلہ کن ہیں۔
سبق کھل رہا ہے...
باب الشرطیات: متصلہ، منفصلہ اور ان کی بنیادی اقسام
تینوں اقسام کے فرق کو ایک ہی معیار پر پرکھیے:
حقیقیہ: دونوں سچ ناممکن؛ دونوں جھوٹ بھی ناممکن۔ مثال: صحیح عدد جفت یا طاق۔
مانعۃ الجمع: دونوں سچ ناممکن؛ دونوں جھوٹ ممکن۔ مثال: ایک چیز درخت یا پتھر۔
مانعۃ الخلو: دونوں جھوٹ ناممکن؛ دونوں سچ ممکن۔ مثال: چیز انسان نہیں یا حیوان ہے۔
حقیقیہ میں دونوں ممانعتیں جمع ہیں؛ باقی دونوں میں ان میں سے ایک ممانعت اصل معیار ہے۔ اسی لیے تقسیم سمجھنے کے لیے «دونوں سچ؟» اور «دونوں جھوٹ؟» دو سوال فیصلہ کن ہیں۔