"تطویل (منطق)" کے نسخوں کے درمیان فرق

{{اصطلاح برابر|

}}

ریاضاتی منطق میں ''تطویل'' ایسے مرکب [[مستلف]] کو کہتے جو ہمیشہ سچ ہو چاہے اس میں پائی جانے والی مستلف کی اقدار کچھ بھی ہوں۔ مثال کے طور پر <math> p \lor \neg p</math> تطویل ہے جیسا کہ اس کے سچائی جدول سے ظاہر ہے کہ یہ ہمیشہ سچ ہے۔

 

 

 

<references/>

 

{{ریاضی مدد}}

[[زمرہ:منطق ریاضیات]]

 

[[ar:طوطولوجيا]]

[[en:Tautology (logic)]]

[[ca:Tautologia]]

[[de:Tautologie (Logik)]]

[[et:Tautoloogia]]

[[eo:Taŭtologio]]

[[fr:Tautologie]]