مستلف

آزاد دائرۃ المعارف، ویکیپیڈیا سے
:چھلانگ بطرف رہنمائی، تلاش
اصطلاح term

بیان
مستلف
تسلیفی
سچ
جھوٹ
نفی
عالجہ
انتطباق
انفصال
استشنائی
یا
اور
متقض
متقضی
اُلٹ

statement
proposition
propositional
true
false
negation
operator
conjunction
disjunction
exclusive
or
and
implication
implies
converse

منطق میں مستلف ایسے بیان یا جملہ کو کہتے جو یا تو سچ ہو یا پھر جھوٹ ہو، مگر دونوں نہیں۔ مستلف کے لیے بیان کا لفظ بھی استعمال ہوتا ہے۔ مثال:

  • "زمین سورج کے گرد گھومتی ہے" مستلف ہے جو کہ سچ ہے۔
  • "2+2=6" مستلف ہے جو کہ جھوٹ ہے۔
  • "آج کیا پکا ہے؟" مستلف نہیں ہے۔

مستلف کو ریاضی میں حروف کی علامت سے لکھا جاتا ہے، مثلاً p="آج جمعہ کا دن ہے"۔ مستلف کی "سچائی قدر" کو T لکھا جاتا ہے اگر مستلف سچ ہو، اور اسے F لکھا جاتا ہے اگر مستلف جھوٹ ہو ۔

مستلف کے منفی کا سچائی جدول
p \neg p
T F
F T

نفیت[ترمیم]

منطقی عالجہ کے استعمال سے مستلفات سے مرکب مستلف بنائے جا سکتے ہیں۔ ایک ایسا عالجہ "منفی" ہے جسے \neg کی علامت سے ظاہر کرتے ہیں۔

تعریف: اگر p ایک مستلف ہے، تو اس کی منفی مستلف p\neg یہ ہو گی:
"ایسا معاملہ نہیں ہے کہ p"

مستلف p\neg کو "نہیں p" پڑھا جاتا ہے۔ مثلاً p="آج جمعہ کا دن ہے"، تو p\neg ="یہ معاملہ نہیں کہ آج جمعہ کا دن ہے" یا سادہ الفاظ میں p\neg ="آج جمعہ کا دن نہیں"۔ سچائی جدول مستلفات کی سچائی قدر کے درمیان نسبت دکھاتا ہے۔ مثلاً مستلف اور اس کے منفی مستلف کا سچائی جدول یہ ہے۔

دو مستلف کے انتطباق کا سچائی جدول
p q p \land q
F F F
T F F
F T F
T T T

آسانی کے لیے عام طور پر \ \neg p کو "نہیں p " پڑھا جاتا ہے۔

انتطباق[ترمیم]

تعریف:انتطباق: چلو p اور q دو مستلف ہوں۔ مستلف "p اور q" جسے p \land q لکھا جاتا ہے، اس وقت سچ ہو گی جب دونوں p اور q سچ ہوں، ورنہ جھوٹ ہو گی۔ مرکب مستلف p \land q کو مستلف p اور مستلف q کا انتطباق کہا جاتا ہے۔

مثلاً p="آج جمعہ کا دن ہے"، q="آج دوکان کھلی ہے"، تو p \land q= آج جمعہ کا دن ہے اور آج دکان کھلی ہے"۔ انتطباق مستلف p \land q جمعہ کے دن اور جب دوکان کھلی ہو سچ ہو گی۔ اگر دن جمعہ کا نہ ہو، یا دکان بند ہو تو انتطباق مستلف جھوٹ ہو گی۔

آسانی کے لیے عام طور پر p \land q کو "p اور q" پڑھا جاتا ہے۔

دو مستلف کے انفصال کا سچائی جدول
p q p \lor q
F F F
T F T
F T T
T T T

انفصال[ترمیم]

تعریف:انفصال: چلو p اور q دو مستلف ہوں۔ مستلف "p یا q" جسے p \lor q لکھا جاتا ہے، اس وقت جھوٹ ہو گی جب دونوں p اور q جھوٹ ہوں، ورنہ سچ ہو گی۔ مرکب مستلف p \lor q کو مستلف p اور مستلف q کا انفصال کہا جاتا ہے۔

مثلاً p="آج جمعہ کا دن ہے"، q="آج دوکان کھلی ہے"، تو p \lor q= آج جمعہ کا دن ہے یا آج دکان کھلی ہے"۔ انفصال مستلف p \lor q جمعہ کے دن سچ ہو گی، اور ہفتے کے ہر دن جب دوکان کھلی ہو سچ ہو گی۔ اگر دن جمعہ کا نہ ہو اور دکان بند ہو تو انفصال مستلف جھوٹ ہو گی۔

آسانی کے لیے عام طور پر p \lor q کو "p یا q" پڑھا جاتا ہے۔

دو مستلف کے "استشنائی یا" کا سچائی جدول
p q p \oplus q
F F F
T F T
F T T
T T F

استشنائی یا[ترمیم]

تعریف:استشنائی یا : چلو p اور q دو مستلف ہوں۔ مستلف "p اشتشنائ یا q" جسے p \oplus q لکھا جاتا ہے، اس وقت سچ ہو گی جب p اور q میں سے صرف ایک سچ ہو، ورنہ جھوٹ ہو گی۔ مرکب مستلف p \oplus q کو مستلف p اور مستلف q کا استشنائی یا کہا جاتا ہے۔ اسے "استشنائی انفصال" بھی کہا جاتا ہے۔

مثلاً p="آج جمعہ کا دن ہے"، q="آج دوکان کھلی ہے"، تو p \oplus q=یا تو آج جمعہ کا دن ہے یا پھر آج دکان کھلی ہے"۔ استشنائی مستلف p \oplus q جمعہ کے دن سچ ہو گی اگر دوکان بند ہو، اور جمعہ کے علاوہ ہر دن جب دوکان کھلی ہو سچ ہو گی۔

p \rightarrow q کا سچائی جدول
p q p \rightarrow q
F F T
T F F
F T T
T T T

مقتض[ترمیم]

تعریف:متقض: چلو p اور q دو مستلف ہوں۔ مستلف "p متقضی q" جسے p \rightarrow q لکھا جاتا ہے، اس وقت جھوٹ ہو گی جب p سچ ہو مگر qجھوٹ ہو، ورنہ سچ ہو گی۔ متقض مستلف p \rightarrow q میں مستلف p کو مفروضہ اور مستلف q کو نتیجہ کہا جاتا ہے۔

مثلاً p="آج جمعہ کا دن ہے"، q="آج دوکان کھلی ہے"، تو p \rightarrow q= آج جمعہ کا دن ہے تو آج دکان کھلی ہے"۔ مقتض مستلف p \rightarrow q جمعہ کے دن جھوٹ ہو گی اگر دوکان بند ہو، ورنہ سچ ہو گی۔ اور جمعہ کے علاوہ بھی ہر دن سچ ہو گی گاہے دوکان کھلی ہو یا بند۔

مثال: p="آج جمعہ کا دن ہے"، q="1+2=3"، تو p \rightarrow q ہمیشہ سچ ہو گی، کیونکہ نتیجہ q، مفروضہ p سے آزاد ہے۔ مثال: p="آج جمعہ کا دن ہے"، q="1+2=4"، تو p \rightarrow q جمعہ کے علاوہ تمام دن سچ ہو گی۔ ان دو مثالوں سے واضح ہوتا ہے کہ ریاضی میں متقضی کی تعریف عام اردو بول چال سے زیادہ جامع معنوں میں استعمال ہوتی ہے۔

ریاضی میں p \rightarrow q کو نیچے دیے جملوں سے بھی بولا جاتا ہے:

اگر p تو q

if p, then q

p متقضی q

p implies q

p بشرط اگر q

p only if q

q کے لیے p کافی ہے

p is sufficient for q

p \rightarrow q کے سچائی جدول میں p \rightarrow q پہلی، تیسری، اور چوتھی قطار میں سچ ہے۔ چوتھی قطار میں p چونکہ سچ ہے اس لیے q لازماً سچ ہو گا۔ پہلی اور تیسری قطار یہ ظاہر کرتی ہیں کہ p کے جھوٹ ہونے کی صورت میں q سچ یا جھوٹ دونوں ممکن ہے۔

q اگر p

q if p

q جب بھی p

q whenever p

p کے لیے q ضروری ہے

q is necessary for p

p \rightarrow q کے سچائی جدول میں p \rightarrow q پہلی، تیسری، اور چوتھی قطار میں سچ ہے۔ پہلی قطار میں q چونکہ جھوٹ ہے اس لیے p سچ نہیں ہو سکتا۔ تیسری اور چوتھی قطار یہ ظاہر کرتی ہیں کہ q سچ ہو تو p سچ یا جھوٹ دونوں ممکن ہے۔

"p متقضی q" (علامت p \rightarrow q) کا اُلٹ "q مقتضی p" (علامت q \rightarrow p) ہے۔ "اگر آج جمعہ کا دن ہے تو آج دکان کھلی ہے" کا اُلٹ "اگر آج دوکان کھلی ہے تو آج جمعہ کا دن ہے" ہو گا۔

سچائی جدول p \leftrightarrow q کا
p q p \leftrightarrow q
F F T
T F F
F T F
T T T
تعریف:دو رویہ متقض: چلو p اور q دو مستلف ہوں۔ مستلف "p دو رویہ متقضی q" جسے p \leftrightarrow q لکھا جاتا ہے، اس وقت سچ ہو گی جب p اور qکی سچائی اقدار برابر ہوں، ورنہ جھوٹ ہو گی۔ دو رویہ مقتض کو اگر بشرط اگر بھی کہا جاتا ہے۔ p \leftrightarrow q اسی وقت سچ ہو گی جب دونوں p \rightarrow q اور q \rightarrow p سچ ہوں۔

بول چال کا منطقی ترجمہ[ترمیم]

اردو زبان کے جملوں کو منطقی مستلف میں ترجمہ کیا جا سکتا ہے۔ اس سے حاصل کلام کا بہتر طور پر تجزیہ کیا جا سکتا ہے۔

مثال:جملہ: "تم گاڑی چلانے کا اجازہ حاصل کر سکتے ہو بشرط اگر تمہاری عمر سولہ سال سے زیادہ ہے اور تمہاری نظر ٹھیک ہے۔" اس جملے کے اجزا کو ہم مستلفات کے بطور یوں لکھتے ہیں: p="تم گاڑی چلانے کا اجازہ حاصل کر سکتے ہو"، q="تمہاری عمر سولہ سال سے زیادہ ہے"، r="تمہاری نظر ٹھیک ہے"۔ تو اصل جملہ یوں لکھا جا سکتا ہے:

p \rightarrow (q \land r)

مثال:جملہ: "تم ووٹ ڈالنے کے اہل نہیں اگر تمہاری عمر اٹھارہ سال سے کم ہے یا تم پاکستان کے شہری نہیں۔" اس جملے کے اجزا کو ہم مستلفات کے بطور یوں لکھتے ہیں: a="تم ووٹ ڈالنے کے اہل ہو"، b="تمہاری عمر اٹھارہ سال سے کم ہے"، c="تم پاکستان کے شہری ہو"۔ تو اصل جملہ یوں لکھا جا سکتا ہے:

(b \lor \neg c) \rightarrow \neg a
اصطلاح term

معادلہ

equivalence

\neg (p \land q) اور \neg p \lor \neg q معادل ہیں
p q \neg(p \land q) \neg p \lor \neg q
F F T T
T F T T
F T T T
T T F F

منطقی معادلہ[ترمیم]

دو مرکب مستلف کو معادل (برابر) کہا جاتا ہے اگر ان کے سچائی جدول تمام معاملات میں برابر ہوں۔ مستلف p اور مستلف q کو منطقی معادل کہا جائے گا اگر p \leftrightarrow q تطویل ہو۔ منطقی معادلہ کو \Leftrightarrow کی علامت سے لکھا جاتا ہے، یعنی p \Leftrightarrow q

مثال کے طور پر مستلف \neg (p \land q) اور مستلف \neg p \lor \neg q معادل ہیں، یعنی علامتی طور پر

(\neg (p \land q)) \Leftrightarrow (\neg p \lor \neg q)

جیسا کہ سچائی جدول کے تیسرے اور چوتھے ستونوں کے برابر ہونے سے ثابت ہے۔

منطقی معادل
 p \land \hbox{True} \Leftrightarrow p


p \lor \hbox{False} \Leftrightarrow p

شناختی قوانین identity laws
 p \lor \hbox{True} \Leftrightarrow \hbox{True}


p \land \hbox{False} \Leftrightarrow \hbox{False}

غلبہ قوانین domination laws
 p \lor p \Leftrightarrow p


p \land p \Leftrightarrow p

ایضاً قوانین idempotent laws
 \neg (\neg p) \Leftrightarrow p دوہری منفیت قوانین double negation law
 p \lor q \Leftrightarrow q \lor p


p \land q \Leftrightarrow q \land p

مبدلی قوانین commutative laws
 (p \lor q) \lor r \Leftrightarrow p \lor (q \lor r)


 (p \land q) \land r \Leftrightarrow p \land (q \land r)

مشارکی قوانین associative laws
 p \lor (q \land r) \Leftrightarrow (p \lor q) \land (p \lor r)


 p \land (q \lor r) \Leftrightarrow (p \land q) \lor (p \land r)

توزیعی قوانین distributive laws
 \neg (p \land q) \Leftrightarrow \neg p \lor \neg q


 \neg (p \lor q) \Leftrightarrow \neg p \land \neg q

ڈی مارگن قوانین DeMorgan's laws

اور دیکھو[ترمیم]

حوالہ جات[ترمیم]


E=mc2     اردو ویکیپیڈیا پر ریاضی مساوات کو بائیں سے دائیں LTR پڑھیٔے     ریاضی علامات