ان بیانات کو سمجھنے کے لئے، ہم سب کو سب سے پہلے سمجھا جاتا ہے کہ اس بات کو سمجھنا ضروری ہے.
-
# AA # - سب کے لیے - اس علامت کا مطلب یہ ہے کہ کچھ ایک سیٹ کے اندر اندر ہر مثال کے لئے صحیح ہے. لہذا، جب ہم متغیر میں اضافہ کرتے ہیں#ایکس# ,# AAx # اس کا مطلب یہ ہے کہ کچھ بیان ہر ممنوع قیمت یا شے پر ہوتا ہے جسے ہم اس میں متبادل کرسکتے ہیں#ایکس# . -
# پی (ایکس)، ق (ایکس) # - تجویز - یہ متعلق منطقی تجاویز ہیں#ایکس# ، یہ ہے، وہ کے بارے میں بیانات کی نمائندگی کرتے ہیں#ایکس# جو کسی بھی مخصوص یا غلط کے لئے ہیں#ایکس# . -
# # - اور - یہ علامت ایک سے زیادہ تجاویز کے مجموعہ کی اجازت دیتا ہے. مشترکہ نتیجہ سچ ہے جب دونوں پروپوزل کی واپسی درست ہے، اور دوسری صورت میں غلط. -
# # - یا - یہ علامت ایک سے زیادہ تجاویز کے مجموعہ کے لئے بھی اجازت دیتا ہے. مشترکہ نتیجہ جھوٹ ہے جب دونوں پروپوزل غلط جھوٹ بولتے ہیں، اور دوسری صورت میں درست. -
# # - صرف اور صرف اس صورت میں - یہ علامت ایک سے زیادہ تجاویز کے مجموعہ کے لئے بھی اجازت دیتا ہے. مشترکہ نتیجہ سچ ہے جب دونوں پیشکش دونوں کے لئے ایک ہی حقیقی قدر واپس آئے#ایکس# ، اور دوسری صورت میں غلط.
اس کے ساتھ، ہم اب بیان کر سکتے ہیں. پہلے بیان، براہ راست بولڈ، جیسے "تمام ایکس کے لئے، ایکس کے ایکس اور ایکس ایکس کے ایکس اور ایکس اور ایکس کے ایکس، اور ایکس ایکس کے لئے، ایکس ایکس کے لئے."
کچھ معمولی اضافے اور ترمیم کو تھوڑا زیادہ سمجھا جاتا ہے.
"تمام ایکس کے لئے، پی اور ق ایکس کے لئے درست ہیں، اور اگر صرف ایکس اور تمام ایکس کے لئے سچ ہے تو تمام ایکس کے لئے درست ہے."
یہ بیان ایک طلوع العمل ہے، یہ سچ ہے کہ قطع نظر ہم پی یا ق کے لئے بدلہ دیتے ہیں. ہم یہ ظاہر کر سکتے ہیں کہ اس سے قبل پیش گوئی کے پیش نظر اس کے بعد، اور اس کے برعکس.
پہلے بیان سے شروع ہونے والے، ہمارے پاس یہ ہر ایک کے لئے ہے
اگر ہم کے بعد ظاہر ہونے والے بیان سے شروع کرتے ہیں، تو ہم کسی کے لئے جانتے ہیں
دوسرا بیان غلط ہے. مندرجہ بالا مکمل عمل کے بغیر، ہم صرف اس بات کو ظاہر کر سکتے ہیں کہ کے دونوں اطراف پر دونوں پیش نظارہ ہمیشہ حقیقی قیمت نہیں رکھتے. مثال کے طور پر، فرض کریں کہ نصف ممکنہ طور پر
اس معاملے میں، سب کے لئے
جیسا کہ دو پروپوزل مختلف سچے اقدار ہیں، واضح طور پر کسی کی سچائی دوسرے کی سچائی کی ضمانت نہیں رکھتی ہے، اور اسی طرح ان کے ساتھ شامل ہونے کے نتائج کے نتیجے میں ایک نئی پیشکش جس میں غلط ہے.