"قضیہ (منطق)" کے نسخوں کے درمیان فرق
حذف شدہ مندرجات اضافہ شدہ مندرجات
کوئی خلاصۂ ترمیم نہیں |
کوئی خلاصۂ ترمیم نہیں |
||
سطر 7:
* "2+2=6" مستلف ہے جو کہ جھوٹ ہے۔
* "آج کیا پکا ہے؟" مستلف نہیں ہے۔
مستلف کو ریاضی میں حروف کی علامت سے لکھا جاتا ہے، مثلاً p="آج جمعہ کا دن ہے"۔
منطقی عالجہ کے استعمال سے مستلفات سے مرکب مستلف بنائے جا سکتے ہیں۔ ایک ایسا عالجہ "منفی" ہے جسے <math>\neg </math> کی علامت سے ظاہر کرتے ہیں۔
سطر 13:
:"ایسا معاملہ نہیں ہے کہ p"
مستلف ''p''<math>\neg </math> کو "نہیں ''p''" پڑھا جاتا ہے۔
مثلاً p="آج جمعہ کا دن ہے"، تو ''p''<math>\neg </math>="یہ معاملہ نہیں کہ آج جمعہ کا دن ہے" یا سادہ الفاظ میں ''p''<math>\neg </math>="آج جمعہ کا دن نہیں"۔
سچائی جدول مستلفات کی سچائی قدر کے درمیان نسبت دکھاتا ہے۔ مثلاً مستلف اور اس کے منفی مستلف کا سچائی جدول یہ ہے۔
<table border="1" align="left">
<caption>
مستلف کے منفی کا سچائی جدول
</caption>
<tr>
<td dir="ltr"> p
<td dir="ltr"> <math>\neg p</math>
<tr>
<td dir="ltr"> T
<td dir="ltr"> F
<tr>
<td dir="ltr"> F
<td dir="ltr"> T
</table>
==اور دیکھو==
| |||