 في الملتبلي كوانتي فايرز اخذنا كيف نذهب الاردر ترتيب الكوانتي فايرز لما كان اكثر من معه الآن بدنا نتدرب بس مور اكزامبل على how to formalize and verbalize فانا لو عندي there exist x there exist y and not love xy هاي شو هاي معناها بالكتابة بالحكي you said there's something not love something somebody does not love somebody بعض الاشخاص لا يحبون بعض الاشخاص هاي كل الاشخاص لا يحبون كل الاشخاص يعني لا يوجد احد يحبه لا احد يحبه كل شخص لا يحب اي شخص هاي بعض الاشخاص لا يحبون احد بعض الاشخاص somebody does not love somebody او يوجد شخص لا يحب اي شخص يعني فيه واحد يحبش حدا ولا حالة طعفكنا ولا حالة نسحنا من كل شخص ولا حالة لانه عباد ضمي هاي all body مش all body everyone everyone does not love somebody does not love somebody ايه سري غلط ما هاي y قبل x دكتور فهاي بعدك تنسي بالثانية للأول هسة today one is not loved by someone فلا هاي غلط بحب y at an x, y هلا بجوز واحد يسألني بقدر هاي حبت كبل هاي عادي طبعا لا بتغير الجملة كاملة تهاي ايش x المحطوب يعني everything is not loved by somebody everyone is not loved by someone صحب everyone is not loved by someone كل شخص يوجد اخرين لا يحبون هاي سؤال دكتور بالسلايدات اللي أنا طبعتها الموجودين على الموقع تبعت كان فيه اشيئات محلولة على اف و ذايم يعني سهم اعدم ده هاي المسخة و هادو المنوين حلس اعدم ده هاي المسخة اعدم ده هاي المسخة هي دعيما المسخة الأخيرة هي الصحة هل بتقدر تبعته اني ايه موجوده موجوده هاي الموجوده اونلاين غير هذا مثال ثاني في ويربلايز لهدو statements ويربلايز and test statements فيه عندنا مثال فيه عندنا ثلاث اشحاص يوتا و تيم يون فيه عندنا منيو هاي منيو تتكول من اربع ستايشنز هذو المكلوحة في نسمية station السالات station و المنكول station with desserts and beverages station فيه السالات مثالنا عندنا سالات وفروض سالات و الاخ طيب هلا فيه جمي بتقول there exist an item there exist an item ده موجوده عليكم there exist an item there exist an item such that all students as as choose why هلا عندما توجد مش تعودين على طريقه الكتاب هذا طريقه الكتاب إذا بدي اكتب but there exist there exist there exist there exist there exist there exist there exist there exist there exist there exist there exist there exist ده كتبه بالمنطق كمان مره such that for all as تنتمي إلى student و انو choose as I هاي شو هي ما نعتو كل item اسرح هاي there exist there exist there exist item ما نعتو في item there exist item is chosen by بقراء it is chosen by there exist item chosen by all students there exist item chosen by all students هل في item هون كل كل كل كلات اختاروه هاي هاي هاي هاي جملة true هلا there exist as student او there is and for all items as chose item معنى ها في طالب اختار بعض الitems as chose I هنا كنا for there exist as for all why for all I و انو choose as chose I هاي يعني انو في student اختار كل الitems طبعا في student اختار كل الitems اللي طبعا انطلعو مش نعا هاي انو اختار من station هاي اسمو item طبعا لا there is a student who chose every available item لا هاي انا عملت لا حدش اه اللي رفعا اي ده هم عملت لهم اني يو دكتور خلص وقت محاضر اقل خمس دك طيب انا بدي اكمل شارعان حجان التسجيل و اللي ده يطلع يطلع في عنا there exist a student there exist as for all stations E,A,Z تأسف هاي there exist as there exist there exist as for all Z there exist item و ايش و عندنا as chose as I تي كمان معلومي هوا and ان ان اللي هي ان انه I موجود في Z يعني في student و ده for all Z اللي هي station و I اللي هي item مقول chose as I بس كمان قول ممكن اكرا هاي أسهل لنا ببداية مقول انه I موجود ب as و as هاي الجملي يعني معنى هاي ايش there is a student who chose at least one item from every station from every station في there exist a student في طالب خطى item من كل station اللي هو من كل station اللي هو مغلان تم هاي خطار من هاي station و خطار من هاي station و خطار من هاي station و خطار من هاي station و خطار من هاي اللي بعدوا بس بتقول there exist as there exist station Z و اللي هو there exist for all as for all Z there exist I و انه I موجود في M في Z I موجود في Z and chose as I يعني في كل الطلاب ولا شيء اللي لل as الكل اللي لل Z يعني كل كل station في I في I اختاروا as و هذا ال item في I اختاروا كل طالب و هذا و هذا في كل station every student chose at least one item from every station every student chose at least one item from every station every student chose at least one item كل طالب هون كل مذر exist هون for all يعني كل طبعا نتيجي طيب الان بدن نوخب اللي هو تاسكز و كمان و first يعني كيف نعمل فورماليزيشن ببترازيشن اغنطرلوجيك و بدن نكمل و دن نوخب تاسكز و كينا تاسكز و اللي هو تاسكي و اسم شخص و و الوار طبعه اللي هو مربع هاي المصفوف من الدوائر و المفلثات المربع و نفق الجمال المكتوبي هو المكتوبي بأسلوب إكتاب ليس جمال طبيعي ليس جمال مو بعتبره خلال فارغان اللوجيك ولكن هنا الإعامة نتعلم هذه السلطة نتعلم كيف نجد الموتشن سلوب اللي اتعلمنا خلال هذا التشبط فمثلا لما نقول سير كيلز اكس اكس is above it وكيف بكتبها؟ for all اكس تنتمي إذا سير كيلز وبعدين سجل ذات نقول above above اسم لبريد كيلز وهل above نتوخيل two parameters or two arguments واحد نقول x x above f x متغيير هاي x متغيير بس if if constant constant إذا نطلع على هاي شكل نطلع where if هاي هاي ونقول أن كل الدوائر هي for if إذا ما كنتلكم أشار ما نتخرج فوق معناها مش معناها بنفس الخط مش معناها بس for لا معناها فوق بكل هاي أول شي هاي أول شي آ جميل إنه طلعوا الذكروا لي أنا كيف حلت كل الدوائر above if ممكن أكتبها بسروب الثاني اللي مكتوبة في بالسبايل for all x يعني أي إشي such that إذا سركل x إذا x إذا سركل يعني بكتبها سركل هاي اسن بريد كتب اسمه سركل وهاي x x بحمل سفة إنه سركل أو إذا بحمل أي إشي إذا كان x سركل بكل إيش above above if والxها بكل above if كنت تخلف على الجملة اللي فوقها ولا إشي هذا هو الجمل 2 نفس المعنى يعني أي إيشي إذا كان سركل بكون above it ولو كل أي سركل بكل هي above it أي سركل أو كل السركل above it بكل نفس المعنى طيب اللي بعده there exist there exist a square such that x is black يعني في square في مربع x x متجيئة في مربع there exist مربع وهذا المربع عماله black لونو black لونو أسود بقول there exist x بقدرة أقول برضو تنتمي وبقدرة أقول بقدرة أقول تنتمي إلى square و x is black نفس الإيشي زي لي فوق وبقدرة أقول إنه إذا عند بي square مش إذا square x and black x there exist x such that x هو square و black يعني في إيشي مربع و مالو و لونو أسود نعم دم حلس ها هاي واحد الثاني فيها أكثر من the quantifier for all circles x for all circles x for all x for all x طيب there exist there exist square لكل circle x there exist y في y هو square يعني لكل دائرة في مربع such that و نقص y يعني لكل دائرة يعني نقص دائرة معين هاي الدوائر لون هجري لونها أزرق لونها أزرق أكد بسطة كمية يعني أول شيء في مربع في مربع لكل دائرة sorry لونو زي لون دوائر لكل ناشي قراءة قراءة أكلها قراءة عني بسطة كتير كل دائرة في مربع في مربع إلى نفس لون كل دائرة في مربع إلى نفس لون يعني هاي دائرة في مربع لونها آهي هاي دائرة لونها أزرق في مربع لونها آهي ما هاي الثاني أزرق نفس فأنا شو بقول كل دائرة for all squares for all إذا كانت circle إذا كانت circle for all x circle x إذا كانت x circle there exist there exist ish y طيب will be cool هل y there is square كلنا y لون y ولونه سين كذين أختصر بس بالكتاب عشان هالناس سين x y x y يعني أي إشي أي إشي فجد كل دائرة أي إشي في أنه دائرة في إله مربا إلو نفس اللون هل إذا غير لون من هالكتابين عشان بس تضيف عليها بقدر تبستات بقدر أكين هين من هون وحطها هون for all y سين وأشتب هين من هون هين آ طبعا مع بصير نفس الإشي أهم إشي أهم إشي إنه أين وردت y هاي وردت y هون صح لازم الكوانتي فايركو وان كبل ممنوع يبكى بعد بس تبتك تنكيل هين إذا بدأك بس تبكى بقدر نفس المعمل تبتك تنكيل هل now كيف تكتاب حالها for all circles أنا نفس اللي حليته أنا for all circles there exist y إلو نفس إلو طبعا نحط أكواص آ أبو فضل يفضل تحط أكواص عشان إنتما تتخرب شوج بس اللي بتخرب شوج يعني برضه مع فيش لعب ما ذات إذا آخر وحد آخر وحد شو بتقول there is a square x there is a square x there is a square x معلوم such that for all triangle y نفهم الجملة في مربع في مربع كبل ما أكره كبل ما أكره x في مربع هو على يمين y هل now عادي يمين وشماع المنخر بشكل بس مش مشكلة في مربع في مربع حيانا مربع هو على يمين y بس y شو هو y شو هو y مثلف وراء في أنه مثلف ومثلف يعني نجل طلق for all y يعني يوجد مربع على يمين كل مثلف يوجد مربع إذا كانت اليمين من هذا الابتجاه بمسمة لهال ففي مربع فعلا على يمين كل مثلف هذه مثلف وهاي في إله طا آه فشلاء أي عمنا كما نفهم فبالأسف معاناة في اليمين كل المحب إذا بدأت بقول جمسة بدأت بقول في مربع على يمين آه بداعا نفسي بيسم يعني مدعن هاي هون معاناة وهي مثلفة وهي أندي من مربع على يمين ففي مربع في مربع على يمين كل مثلف إذا بدأت بكتبها في مربع هناك إكس سكوير آه إكس أبداعا بقول مثلا آه هناك إكس بس بس بس بس بس w why why of a cool of a cool of a cool the same color look at the right of Y at the right of Y and right of X في مربع of a cool why triangle لكل ي that is a triangle بكون x at the right of y شوف لكتاب كيف عملها next relation for all there exists square x and and هاي شو بتكون هاي الناحة كل if quantifier مسأول عن الاسكول زي زي ما اخدت بالبرمجي كل quantifier كيف كل variable كنا نعرف جوه ميثوط هو a function نفس الاشي هون هاي ال x بتعرف ال x هاي وال y هاي بتعرف كما عم ال y هون like j carrier يعني within this code there exists x there exists square x and for all triangle y x right of y like هاي بس تفسير لجمال لبيثال موجود بالكتاب هذا ببيثال ليس من يعناء من الكتاب بس تفسير لجمال فيه عندي كمان جمال بعدين وبعدين من وكف هذا عشان بس نفسر هاي الجمال يكبب من فسرها كبب ما نسويك كبب ما نكتب بهذا اللوجيك بدنا نوخذ بس نذكركم مش نوخذكم تعرفو هذا الاشي نذكركم بشيء اسمه النظير الدربي رسيب ريكال يعني شهور ريكال هو a real number هو a real number صدقات a b وسوي واحد يعني شهور نظير الدربي رسيب ريكال كوموت نظير الدربي للعدد اللي هو عدد معين إذا ضربته في شهور سوي الجواب سوي واحد طيب هلا نحل هاي الجبلي إن نكتبها باللوجيك بكل كبير every man zero real number هذا الاسبريك كل عدد حقيقي مش سفر طيب ورسيب ريكال كيف أكتبها كل عدد حقيقي يعني لو أخذنا مثلا يو وفي ضربناهم في بعض لازم يسوي واحد إذن إذن في عندي هون لازم عرف يو ولازم عرف في كل عدد حقيقي مهلا every man zero real number has a a ريكال every man إذا هذا المهاينا حيو وهذا has a وي معناتو for all you for all you تنتمي إلى real numbers بس man zero بس man zero يعني أي عدد you أي عدد حقيقي للغاية السفر لحد بي there exists there exists we وفي ينتمي إلى man ينتمي إلى r مش شرطي بكنان zero ينتمي إلى r صدق you ضرب في بس man zero يعني for all you ينتمي إلى man zero real number there exists we ينتمي إلى r such that إذا ضربناهم ببعض بس man zero في نفس الجملي every man zero real number طلق هون every man zero real number لي هاي جو لي لحد بي has a ريسي بريك has a يعني has a يعني has one الآن مرات بتعني زمعك كلنا مرات بتعني على فكرة كلو مرات بتعني صام فأنت بتكون من السيات تعرفوا has a ريسي بريكال يعني إنه لو ضربناهم جمالت has a ريسي بريكال طيب there is a real number with no ريسي بريكال there is a real number there is with no ريسي بريكال يعني you ضرب we لا يساوي طيب اليو ينتم ينتم there is a real number طبعا ينتمي إلى r there is there exists يعني there is a real number ملوش ريسي بريكال طيب يعني إذا كلت هاي في معشي هاي في هاي تنتمي برضو لقار نحن نعرف إنه برضو للعدد وفي اثنان a real number هاي طلع إذا حتت here for all إذا حتت أول شيء نجرب there exist وإذا أولا نجرب before all هاي إذا كلت there is real number و there is another real number إذا ضربتوا مبعا بطلع الجواب لا يساوي واحد أهلا أم بس همش معناتوا إنه ملوش ريسي بريكال إلو بس رقم إذا حتت for all جمعناها إذا حتت here for all بتسير مقول في عدد real إذا ضربنا بأي عدد وطلعش الجواب في عدد real في عدد خلن كل عدد وانها real لي في عدد إذا ضربنا بأي عدد ثاني في عدد إذا ضربنا بأي عدد الجواب بطلعش واحد وهي أي معنى الجملي اللي إحنا كادي نساوتي إنه شو يعني ذي ريسي real number ونوريسي بريكال يعني إنه لو ضربتوا بأي عدد ثاني مش هيعمل مش هيكون يساوي واحد هاي بالنسبة لا بفرماليسي بأي هناك كمان مثال هو نفسه آه زي there is a positive a smallest positive تنتجار طلعوا بالانتجار سوم العدد تنتجار بلش في أو عدد كل واحد نعرف ما شونا نقول في عدد أقل منه يعني بدنا نقول إنه في عدد مثالا m ينتمي لزن طيب ها list قليل ما نعمل list or equal في عدد هو list or equal عدد there is a smallest positive انتجار يعني في عدد آه اللي هو أقل من ايش من كل عدد ولا من عدد معايا positive تنتجار طبعا ففي إذا بدحوط هون for there exist بدحطات هون there exist شو بسير الجملة بكون في عدد معايا معايا في عدد معايا أقل من عدد ثاني بس مش شيء قصد في أنا بدأقول في عدد أقل من كل عدد طبعا أقل أو يساوي for all في عدد آه positive تنتجار اللي يقول أقل من من من كل الأعداد ها الحم طيب واخر جملة آه بالكتاب شايفين بكتب هيك بسلوب بكتاب طبعا نحن في بسلوب اللي خدناها طيب بقول there is no smallest positive real number يعني العداد الحقيقي في عدد أقل أقل عدد في في ما فيش لأن كل عدد يأكل عدد أو في كل عدد في عدد يأكل من فأنا شو يقول كل عدد كل x ينتمي إلى ينتمي إلى r positive آه في عدد أقل من يعني يعني هون مثلا ليس x y و هون عندي طبعا y مالها تنتمي بغضو إلى positive الرياض إذا حطيت هون إذا حطيت هون for all يعني معنى أن في ع كل الأعداد أقل من كل الأعداد إذا حطيت there exist شو يصير المف كل عدد في إلو عد بس في إلو عدد هاي x و عدد كل عدد في إلو عدد أقل من هيك معنى there is no smallest positive real معنى آه هذا الحل و و من وطف قبل معنى كل الجزء اللي بعد