اسباقدو کلی مفاہیم کی چار نسبتیں اور جزئیِ اضافیکوئز

دو کلیوں کا زید پر بیک وقت صادق آنا، تساوی ثابت کرنے کے لیے کافی نہیں۔ «انسان» اور «حیوان» زید پر صادق ہیں، لیکن اس سے ہر حیوان کے انسان ہونے کا نتیجہ نہیں نکلتا۔

تساوی کے لیے لازم ہے کہ:
پہلے کلی کا کوئی فرد دوسرے سے باہر نہ ہو۔
دوسرے کلی کا کوئی فرد پہلے سے باہر نہ ہو۔

اگر ایک طرف صرف ایک بھی ایسا فرد مل جائے جو دوسری طرف نہ ہو تو تساوی ختم ہو جائے گی۔ البتہ نسبت کی اگلی قسم معلوم کرنے کے لیے دیکھنا ہو گا کہ وہ فرق ایک طرف ہے یا دونوں طرف۔

سبق کھل رہا ہے...

تساوی اور محض اشتراک کا فرق

دو کلی مفاہیم کی چار نسبتیں اور جزئیِ اضافی

دو کلیوں کا زید پر بیک وقت صادق آنا، تساوی ثابت کرنے کے لیے کافی نہیں۔ «انسان» اور «حیوان» زید پر صادق ہیں، لیکن اس سے ہر حیوان کے انسان ہونے کا نتیجہ نہیں نکلتا۔

تساوی کے لیے لازم ہے کہ:
پہلے کلی کا کوئی فرد دوسرے سے باہر نہ ہو۔
دوسرے کلی کا کوئی فرد پہلے سے باہر نہ ہو۔

اگر ایک طرف صرف ایک بھی ایسا فرد مل جائے جو دوسری طرف نہ ہو تو تساوی ختم ہو جائے گی۔ البتہ نسبت کی اگلی قسم معلوم کرنے کے لیے دیکھنا ہو گا کہ وہ فرق ایک طرف ہے یا دونوں طرف۔