"قضیہ (منطق)" کے نسخوں کے درمیان فرق
حذف شدہ مندرجات اضافہ شدہ مندرجات
م Proposition بجانب مستلف منتقل: اردو |
کوئی خلاصۂ ترمیم نہیں |
||
سطر 1:
{{اصطلاح برابر|
بیان <br> مستلف <br> سچ<br> جھوٹ<br> منفی <br> عالجہ <br> انتطباق <br> انفصال<br> استشنائی<br> یا<br> اور|
statement <br> proposition <br> true <br> false <br> negation <br> operator <br> conjunction <br> disjunction <br> exclusive <br> or <br> and
}}
منطق میں ''مستلف'' ایسے بیان یا جملہ کو کہتے جو یا تو سچ ہو یا پھر جھوٹ ہو، مگر دونوں نہیں۔ مستلف کے لیے ''بیان'' کا لفظ بھی استعمال ہوتا ہے۔ مثال:
سطر 93:
مثلاً p="آج جمعہ کا دن ہے"، q="آج دوکان کھلی ہے"، تو <math>p \lor q</math>= آج جمعہ کا دن ہے یا آج دکان کھلی ہے"۔ انفصال مستلف <math>p \lor q</math> جمعہ کے دن سچ ہو گی، اور ہفتے کے ہر دن جب دوکان کھلی ہو سچ ہو گی۔ اگر دن جمعہ کا نہ ہو اور دکان بند ہو تو انفصال مستلف جھوٹ ہو گی۔
<table border="1" align="left">
<caption>
دو مستلف کے "استشنائی یا" کا سچائی جدول
</caption>
<tr bgcolor="gray">
<td dir="ltr"> p
<td dir="ltr"> q
<td dir="ltr"> <math>p \oplus q</math>
<tr>
<td dir="ltr"> F
<td dir="ltr"> F
<td dir="ltr"> F
<tr>
<td dir="ltr"> T
<td dir="ltr"> F
<td dir="ltr"> T
<tr>
<td dir="ltr"> F
<td dir="ltr"> T
<td dir="ltr"> T
<tr>
<td dir="ltr"> T
<td dir="ltr"> T
<td dir="ltr"> F
</table>
:تعریف:استشنائی یا: چلو ''p'' اور ''q'' دو مستلف ہوں۔ مستلف "p اشتشنائ یا q" جسے <math>p \oplus q</math> لکھا جاتا ہے، اس وقت سچ ہو گی جب ''p'' اور ''q'' میں سے صرف ایک سچ ہو، ورنہ جھوٹ ہو گی۔ مرکب مستلف <math>p \oplus q</math> کو مستلف ''p'' اور مستلف ''q'' کا ''استشنائی یا'' کہا جاتا ہے۔
مثلاً p="آج جمعہ کا دن ہے"، q="آج دوکان کھلی ہے"، تو <math>p \oplus q</math>=یا تو آج جمعہ کا دن ہے یا پھر آج دکان کھلی ہے"۔ استشنائی مستلف <math>p \oplus q</math> جمعہ کے دن سچ ہو گی اگر دوکان بند ہو، اور جمعہ کے علاوہ ہر دن جب دوکان کھلی ہو سچ ہو گی۔
| |||