Propositional variable
ریاضیاتی منطق میں، ایک پروپوزیشنل متغیر (جسے سینٹینشیل متغیر یا سینٹینشیل لیٹر بھی کہا جاتا ہے) ایک ٹروتھ فنکشن کا ان پٹ متغیر (جو درست یا غلط ہو سکتا ہے) ہے۔ تجویز کردہ متغیرات تجویز کردہ فارمولوں کے بنیادی تعمیراتی بلاکس ہیں، جو تجویز کردہ منطق اور اعلی ترتیب کے منطق میں استعمال ہوتے ہیں۔ منطق میں استعمال فارمولے عام طور پر کچھ پروپوزیشنل متغیرات، کچھ منطقی کنیکٹیوز، اور کچھ منطقی کوانٹیفائرز سے بار بار بنائے جاتے ہیں۔ تجویز کردہ متغیرات تجویز کردہ منطق کے جوہری فارمولے ہیں، اور اکثر بڑے رومن حروف جیسے، اور کا استعمال کرتے ہوئے ظاہر کیے جاتے ہیں۔ مثال کسی دی گئی تجویز کردہ منطق میں، فارمولے کی تعریف اس طرح کی جا سکتی ہے: ہر تجویز کردہ متغیر ایک فارمولہ ہے۔ فارمولہ X کو دیکھتے ہوئے، منفی ایک فارمولہ ہے۔ دو فارمولوں X اور Y، اور ایک بائنری کنیکٹو b (جیسے منطقی کنجکشن) کو دیکھتے ہوئے، اظہار (X b Y) ایک فارمولا ہے۔ (قوسین کو نوٹ کریں۔) اس تعمیر کے ذریعے، تجویز کردہ منطق کے تمام فارمولوں کو ایک بنیادی اکائی کے طور پر تجویز کردہ متغیرات سے بنایا جا سکتا ہے۔ تجویز کردہ متغیرات کو میٹاواری ایبلز کے ساتھ الجھن میں نہیں ڈالنا چاہیے، جو تجویز کردہ کیلکولس کے مخصوص محوریات میں ظاہر ہوتے ہیں۔ مؤخر الذکر مؤثر طریقے سے اچھی طرح سے تشکیل شدہ فارمولوں پر مشتمل ہوتا ہے، اور اکثر چھوٹے یونانی حروف جیسے، اور کا استعمال کرتے ہوئے ظاہر کیا جاتا ہے۔ پریڈیکیٹ منطق پروپوزیشنل متغیرات جن میں کوئی آبجیکٹ متغیرات جیسے x اور y پیشگی حروف جیسے Px اور xRy سے منسلک نہیں ہیں، اس کے بجائے انفرادی مستقلات a، b،. پیشگی حروف سے منسلک ہوتے ہیں وہ پیشگی مستقلات PA، aRb ہیں۔ یہ تجویز کردہ مستقلات جوہری تجاویز ہیں، جن میں تجویز کردہ آپریٹرز نہیں ہیں۔ پروپوزیشنل متغیرات کی اندرونی ساخت میں پابند انفرادی متغیرات (مثال کے طور پر، x، y)، انفرادی مستقلات جیسے a اور b (ڈسکورس D کے ڈومین سے واحد اصطلاحات) کے ساتھ مل کر P اور Q جیسے پیشگی حروف ہوتے ہیں، جو بالآخر ایک شکل اختیار کرتے ہیں جیسے کہ PA، aRb۔ (یا قوسین کے ساتھ، اور)۔ پروپوزیشنل منطق کو بعض اوقات زیروتھ آرڈر منطق کہا جاتا ہے کیونکہ اس میں داخلی ساخت پر غور نہیں کیا جاتا ہے اس کے برعکس فرسٹ آرڈر منطق جو جوہری جملوں کی اندرونی ساخت کا تجزیہ کرتی ہے۔ بولین الجبرا (منطق) بولین ڈیٹا ٹائپ بولین ڈومین بولین فنکشن لاجیکل ویلیو پریڈیکیٹ متغیر پروپوزیشنل منطق حوالہ جات ببلیوگرافی سملیان، ریمنڈ ایم۔ فرسٹ آرڈر لاجک بھی دیکھیں۔ 1968۔ ڈوور ایڈیشن، 1995۔ باب 1: تجویز کردہ منطق کے فارمولے۔ منطق منطقی علامتوں میں پروپوزیشنل کیلکولس تصورات