تضارب (منطق)

ریاضاتی منطق میں تضارب ایسے مرکب مستلف کو کہتے جو ہمیشہ جھوٹ ہو چاہے اس میں پائی جانے والی مستلف کی اقدار کچھ بھی ہوں۔ مثال کے طور پر  تضارب ہے جیسا کہ اس کے سچائی جدول سے ظاہر ہے کہ یہ ہمیشہ جھوٹ ہے۔


تضارب کی مثال
<tr bgcolor="gray">
<td dir="ltr"> p
<td dir="ltr"> 
<td dir="ltr"> 
<tr>
<td dir="ltr"> T
<td dir="ltr"> F
<td dir="ltr"> F
<tr>
<td dir="ltr"> F
<td dir="ltr"> T
<td dir="ltr"> F

تضارب کے نفی کو تطویل کہتے ہیں، یعنی یہ ہمیشہ سچ ہوتی ہے چاہے اس میں پائی جانے والی مستلف کی اقدار کچھ بھی ہو۔
مثال کے طور پر  تطویل ہے جیسا کہ اس کے سچائی جدول سے ظاہر ہے کہ یہ ہمیشہ سچ ہے۔


تطویل کی مثال
<tr bgcolor="gray">
<td dir="ltr"> p
<td dir="ltr"> 
<td dir="ltr"> 
<tr>
<td dir="ltr"> T
<td dir="ltr"> F
<td dir="ltr"> T
<tr>
<td dir="ltr"> F
<td dir="ltr"> T
<td dir="ltr"> T

واضح رہے کہ مرکب مستلف  اور مرکب مستلف  ایک دوسرے کے نفی ہیں

ایسی مستلف جو نہ تو تطویل ہو اور نہ متضارب، کو امکانیہ کہا جاتا ہے۔

 حوالہ جات 

زمرہ:منطق ریاضیات
زمرہ:ویکی ڈیٹا سے مطابقت رکھنے والی مختصر تفصیل
زمرہ:عربی الفاظ اور جملے
زمرہ:مارکسیت
زمرہ:نظریات منطق
زمرہ:منطقی مغالطے