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

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

}}

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

== حوالہ جات ==

{{حوالہ جات}}

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

{{منطقی عامل}}

{{منطقی سچ}}

 

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

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