"قضیہ (منطق)" کے نسخوں کے درمیان فرق
حذف شدہ مندرجات اضافہ شدہ مندرجات
کوئی خلاصۂ ترمیم نہیں |
کوئی خلاصۂ ترمیم نہیں |
||
سطر 56:
<td dir="ltr"> T
</table>
آسانی کے لیے عام طور پر <math>\ \neg p </math> کو "نہیں ''p'' " پڑھا جاتا ہے۔
=== انتطباق===
سطر 253 ⟵ 255:
دو مرکب مستلف کو معادل (برابر) کہا جاتا ہے اگر ان کے سچائی جدول تمام معاملات میں برابر ہوں۔ مستلف ''p'' اور مستلف ''q'' کو منطقی معادل کہا جائے گا اگر <math>p \leftrightarrow q</math> [[tautology|تطویل]] ہو۔ منطقی معادلہ کو <math>\Leftrightarrow</math> کی علامت سے لکھا جاتا ہے، یعنی <math>p \Leftrightarrow q</math>
مثال کے طور پر مستلف
<math>\neg (p \land q)</math>
اور مستلف
<math>\neg p \lor \neg q</math>
معادل ہیں، یعنی علامتی طور پر
:<math>(\neg (p \land q)) \Leftrightarrow (\neg p \lor \neg q)</math>
جیسا کہ سچائی جدول کے تیسرے اور چوتھے ستونوں کے برابر ہونے سے ثابت ہے۔
<table border="1" align="left">
<caption style="color:blue">
<math>\neg (p \land q)</math>
اور
<math>\neg p \lor \neg q</math>
معادل ہیں
</caption>
<tr bgcolor="gray">
<td dir="ltr"> p
<td dir="ltr"> q
<td dir="ltr"> <math>\neg(p \land q)</math>
<td dir="ltr"> <math>\neg p \lor \neg q</math>
<tr>
<td dir="ltr"> F
<td dir="ltr"> F
<td dir="ltr"> T
<td dir="ltr"> T
<tr>
<td dir="ltr"> T
<td dir="ltr"> F
<td dir="ltr"> T
<td dir="ltr"> T
<tr>
<td dir="ltr"> F
<td dir="ltr"> T
<td dir="ltr"> T
<td dir="ltr"> T
<tr>
<td dir="ltr"> T
<td dir="ltr"> T
<td dir="ltr"> F
<td dir="ltr"> F
</table>
| |||