"قضیہ (منطق)" کے نسخوں کے درمیان فرق
حذف شدہ مندرجات اضافہ شدہ مندرجات
نیا صفحہ: {{اصطلاح برابر| بیان <br> مستلف| statement <br> proposition }} منطق میں ''مستلف'' ایسے بیان یا جملہ کو کہتے جو یا تو سچ ... |
کوئی خلاصۂ ترمیم نہیں |
||
سطر 1:
{{اصطلاح برابر|
بیان <br> مستلف <br> سچ<br> جھوٹ<br> منفی <br> عالجہ|
statement <br> proposition <br> true <br> false <br> negation <br> operator
}}
منطق میں ''مستلف'' ایسے بیان یا جملہ کو کہتے جو یا تو سچ ہو یا پھر جھوٹ ہو، مگر دونوں نہیں۔
* "زمین سورج کے گرد گھومتی ہے" مستلف ہے جو کہ سچ ہے۔
* "آج کیا پکا ہے؟" مستلف نہیں ہے۔
مستلف کو ریاضی میں حروف کی علامت سے لکھا جاتا ہے، مثلاً p="آج جمعہ کا دن ہے"۔ اگر مستلف سچ ہو تو اسے ''T'' لکھا جاتا ہے، اور اگر جھوٹ ہو تو اسے ''F'' لکھا جاتا ہے۔
منطقی عالجہ کے استعمال سے مستلفات سے مرکب مستلف بنائے جا سکتے ہیں۔ ایک ایسا عالجہ "منفی" ہے جسے <math>\neg </math> کی علامت سے ظاہر کرتے ہیں۔
:تعریف: اگر ''p'' ایک مستلف ہے، تو اس کی منفی مستلف ''p''<math>\neg </math> یہ ہو گی:
:"ایسا معاملہ نہیں ہے کہ p"
مستلف ''p''<math>\neg </math> کو "نہیں ''p''" پڑھا جاتا ہے۔
| |||