"قضیہ (منطق)" کے نسخوں کے درمیان فرق
حذف شدہ مندرجات اضافہ شدہ مندرجات
کوئی خلاصۂ ترمیم نہیں |
کوئی خلاصۂ ترمیم نہیں |
||
سطر 62:
مثلاً p="آج جمعہ کا دن ہے"، q="آج دوکان کھلی ہے"، تو <math>p \land q</math>= آج جمعہ کا دن ہے اور آج دکان کھلی ہے"۔ انتطباق مستلف <math>p \land q</math> جمعہ کے دن اور جب دوکان کھلی ہو سچ ہو گی۔ اگر دن جمعہ کا نہ ہو، یا دکان بند ہو تو انتطباق مستلف جھوٹ ہو گی۔
آسانی کے لیے عام طور پر <math>p \land q</math> کو "''p'' اور ''q''" پڑھا جاتا ہے۔
<table border="1" align="left">
سطر 94 ⟵ 95:
مثلاً p="آج جمعہ کا دن ہے"، q="آج دوکان کھلی ہے"، تو <math>p \lor q</math>= آج جمعہ کا دن ہے یا آج دکان کھلی ہے"۔ انفصال مستلف <math>p \lor q</math> جمعہ کے دن سچ ہو گی، اور ہفتے کے ہر دن جب دوکان کھلی ہو سچ ہو گی۔ اگر دن جمعہ کا نہ ہو اور دکان بند ہو تو انفصال مستلف جھوٹ ہو گی۔
آسانی کے لیے عام طور پر <math>p \lor q</math> کو "''p'' یا ''q''" پڑھا جاتا ہے۔
<table border="1" align="left">
سطر 241 ⟵ 244:
اس جملے کے اجزا کو ہم مستلفات کے بطور یوں لکھتے ہیں: ''a''="تم ووٹ ڈالنے کے اہل ہو"، ''b''="تمہاری عمر اٹھارہ سال سے کم ہے"، ''c''="تم پاکستان کے شہری ہو"۔ تو اصل جملہ یوں لکھا جا سکتا ہے:
:<math>(b \lor \neg c) \rightarrow \neg a </math>
{{اصطلاح برابر|
معادلہ|
equivalence
}}
==منطقی معادلہ ==
دو مرکب مستلف کو معادل (برابر) کہا جاتا ہے اگر ان کے سچائی جدول تمام معاملات میں برابر ہوں۔ مستلف ''p'' اور مستلف ''q'' کو منطقی معادل کہا جائے گا اگر <math>p \leftrightarrow q</math> [[tautology|تطویل]] ہو۔ منطقی معادلہ کو <math>\Leftrightarrow</math> کی علامت سے لکھا جاتا ہے، یعنی <math>p \Leftrightarrow q</math>
| |||