تطویل (منطق)
ریاضاتی منطق میں تطویل ایسے مرکب مستلف کو کہتے جو ہمیشہ سچ ہو چاہے اس میں پائی جانے والی مستلف کی اقدار کچھ بھی ہوں مثال کے طور پر p   p displaystyle plor neg p تطویل ہے جیسا کہ اس کے سچائی جدول سے ظاہر ہے کہ یہ ہمیشہ سچ ہے تطویل کے نفی کو تضارب کہتے ہیں یعنی یہ ہمیشہ جھوٹ ہوتی ہے چاہے اس میں پائی جانے والی مستلف کی اقدار کچھ بھی ہو مثال کے طور پر p   p displaystyle pland neg p تضارب ہے جیسا کہ اس کے سچائی جدول سے ظاہر ہے کہ یہ ہمیشہ جھوٹ ہے واضح رہے کہ مرکب مستلف p   p displaystyle pland neg p اور مرکب مستلف p   p displaystyle plor neg p ایک دوسرے کے نفی ہیں p   p    p   p  displaystyle pland neg pneg plor neg p ایسی مستلف جو نہ تو تطویل ہو اور نہ متضارب کو امکانیہ کہا جاتا ہے