تطویل (منطق)

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


تطویل کی مثال
<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

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


تضارب کی مثال
<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

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

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

 مزید دیکھیے 
 منطق

 حوالہ جات 

زمرہ:مضامین جن میں تمل زبان کا متن شامل ہے
زمرہ:معنویات
زمرہ:منطق ریاضیات
زمرہ:منطقی تعبیرات
زمرہ:منطقی حقیقت
زمرہ:چھوٹے پیغام خانوں کا استعمال کرنے والے مضامین