 في هذا الجزء الثالث من مقدم للفرس اوردار اللوجيك بدنا نوخي مقدمي برضه how to formalize or verbalize statements يعني عندنا جملة مكتوبة بالفرس اوردار اللوجيك وبدنا نعرف نحكيها ونكتبها باللغة الطبيعية أو العكف لما بقول verbalize يعني عملها وكي أنا بقول لك انتقها verbalize يعني اكتب عن عندك جملة زي ايك وبدك تكتبها في في يعني في an informal language لانها هاي اللغة هاي اللغة formal statement هاي نسميها formal statement دك تكتبها in formal language in formal language يعني باستخدام اللغة طبيعية بدي هون اعطي طبعا أنا بدرسها بالانفلي وربنا نرجع في محادرات بعدين نحكي كمان عن how to verbalize وformalize إذا كانت لدينا اكثر من variable بس هلا كل الانفلي اللي نتعلمها فهي لدي for all وحدة or there exist وحدة من جملة بس مرات كنت نقول أكثر من for all or there exist جملة فهي دولة بكون في محادرات أخرى لو اندي هاي الجملة هاي الجملة بتقول هاي هاي او كل اعادة او ريال تربيعه اكبر عروسة وي نفسه دك تكتبها بقول this square يعني هلا طبعا في إلها أكثر من كتاب يعني ممكن أقول هايك أنا اي ريال نمبر سوف يبيني بيضي any real number its square is more than zero more than or equal zero ممكن أقول all real numbers ممكن أقول any real number هذا كله كرأات نحن نقول لغة هاي اللغة الانبيزي والعربي وهي اللغات الطبيعية هاي تطيق مروني عاية جدا انك تحكي لبداك يا ربي أكثر من سيغة قد يكون بعض السيغ ممتازي وقد يكون بعضها حتى لو كتحكيتها باللغة بتقول لأزالة غامة فمثلا نقول this square of every real number equals or more than zero the square of all or every or any فيش مشكل حسب السياب انتي طالب مش لازم يخشر نفسه في سياب دائمان يستخدم نفس التاملة طبعا الكراء ما رزبطش معه بيطلع جمال معجكة في بعض الحالة فكل جملي يختارلها في كلمات المناسبة لها هاي كلمة all أنا هون بفضل هاش ليش لأنه the square of all real numbers هون all يعني كلهم مع بعض ولا كل واحد فيهم كل واحد فيهم the square of every real number equals or more than zero or the any or every real number its square is equals or more than zero هاي الجملي شو منقول هاي برضو للتعمين the real number تتقول انه x لا يساوي ناكس واحد فممكن أقول the square of every real number مالو does not equal ناكس واحد طب هاي هلا بقدرك سام بقدرك at least one أقول الشتارة اني أطلع جملي الشتارة اطلع جملي ما يكونش هاي غمود يعني فيه غمود لو كتبت هاي بسألت الله فيه غمود لو كتبت هاي حتى هاي بال بالانجليزي أو بالعربي ممكن يكون فيها غمود طبعا ممكن يكون فيها غمود فأنا بحاول أكون دقيق وتكون جملتي كواعدها ومكتوب الصح يقول بثلاب سم أو خير من أول شيء بيكون كبل ما نكرع في الطريق خير ينفسك يقول انه في بعض الأرقام الصحيحة الموجب تربيحة يساوي العدد نفسه ممكن هونة شاطر أكثر من اكراء مثلا there is there is أو بقول some there is or some one positive integer equals its square there is يعني لو كنا some positive integers بزور there is at least one positive integer بل ده بزور there is a positive integer إلا هون معناها some على فكرة مرات إلا معناها any there is a positive integer يعني if there is an x أكبر من اثنين إذا في then or بقول تربيعوا أكبر من أربا فهي for all for all يعني كل العداد الريال كل العداد الريال ف every real number أو every real number أو أو بنظر سأقول every أبلشب every لأنها إذا if then if a real number is more than to then its square is more than 4 if a real number more than to then its its square its square هي كرأات ل جمع الفورمر نكتألي كرأة بالعربي وبالبلدك يعني أول وحدي the square of every real number equals or more than zero تربيع أي عداد حقيقي يساوي أكبر أو يساوي سف هي تربيع أي عدر حقيقي يساوي not سواح هي يوجد عداد صحيح يساوي تربيع أو مربع يساوي نرسم نبدي هي أي عداد أكبر من تربيع أكبر من أكبر من أكبر من أكبر من أكبر من تربيع بس يبدي تضرم الفورق طيب العكس لو عمنا العكس هي فورماليس أنا أعطيتك هل الجمل باللغة وبالدك تكتب ليها فورمالي كل all triangles have three have three sites طبعنا هاتول تكون أيش هاي كيف تكون all for all أنا بدأكي العنين عن أشياء ممكن أن نقول for all أوسر نقول for all مثلا خير نقول T و T تنتمي إلى triangle مالهم have three sites هاي all T تنتمي إلى triangle بتتعكي صفاتها صفاتها إنها have three site أو three siding ما كنتش هاي three sites هذا الإنجليزي أنا باسمي لبريدي كدزي ما بدأي لحظين طيب no docs have wings no docs have wings مطلاب ملهاج أجنها ف هاي تحكي على برضو جملة التعمين لاحظوا أول شبات بسأل هاي for all with the exist هل هي جملة التعمين من التخصيص هاي جملة التعمين إذا كانت جملة التعمين فبقول for all بدحكي عن مثلا دي تنتمي لضب طيب هاي هلها بقول have wings أو has wings هاي بالمفرد have wings X هاي شو جملة صارت كل اطلاب كل الدغس has wings بس أنا بدأي no فبحوط not كل اطلاب ملهاج wings لاحظين some programs are structure some some يعني they exist واضحا programs تنتمي إلى program مالهم بدحكي صفاتهم صفاتهم إنهم structure some programs are structure مالهم طيب شوفوا هاي if a real number is integer then it is a rational number if a real هو هون ما كل ليش for all or there exist بس الحالي سؤال هي جملة التعمين ولا جملة التخصيص جملة التعمين واضح ا ريال نمبر ا معنى اي فجملة التعمين ما تفرقون okay if مدام if معنى تهون في if then حالا بحكي عن x نيوه x ماله is a real number ريال ينتمي إلى الريال نمبر طيب is integer يعني إذا هو إذا كان هذا الريال نمبر integer معنى تهو هذا الريال نمبر بكون ماله rational okay واضح طيب all bytes have 8 bits all bytes have 8 bits بحكي على تعمين بحكي على صفة بعض الأشياء يعني نقول مثلا 8 8 bits تي إيش يصفطوا إنه 8 bits شو هو ها ماذا عن إيش ين طيب 8 bits ماله بعنى تعمين all bytes ها دولا ها نمي for all n تنتمي إلى byte for all يعني any byte يصفط إنه 8 bits no fire trucks no fire trucks are green سيارات الليل اتفاق ولو هنيلو ها بيضة خللنو على جانب fire trucks are green سهلو شو بقول أنا for all x تنتمي إلى ايش إلى truck وهي green x بحطنو يعني ها بتقول كل truck هلو trucks كل trucks مالهم مش مش ايش ما هم يصفط إنهم green هاي الطريقة احنا هاي مقدمي إلى كيف نكتب باللغة طبيعي من وائلة اللغة طبيعي إذا كتبنا إذا عندك الجملي هاي باللغة طبيعي وبداك تكتبها باللوجيك سميها formalize إذا العاق إذا عندك هاي وبداك تكتبها فانت verbalize verbalize يعني وكعنو verbalize يعني انطوك كبل من انهي فيه عندنا بس بدأ ورجيك إنه فيه كده يكون عندني أكثر من سيغة لكتاب كيف يعني لاحظوا إذا أنا عندني for all تنتمي إلى square وهي ركتانجل يعني اي مربع أو كل إيشي إذا كا كل إيشي مربع ومستطيل إلو صفت إنه مستطيل يعني كل إيشي بكرأها أنا كا الكراءة حرفية كل إيشي هو square يعني كل إيشي square يعني مربع ركتانجل مستطيل كل مربع هو مستطيل أو بدأ الكراءة اكتبها هيل جملي نفسي for all x أو مكليش تنتمي اي يعني أستاد أنا بدأ أكتب ماكتبش تنتمي أنا بدأ أكتب for all وحطش بعدها هون الدومين او تقدر for all x أو y بدون ما بدون ما قول الدومين تقدر for all x if x is a square then then x is ركتانجل أو بقدر اكتب زم هو كاتب الكتاب باستعمل for all for all squares x dot x is ركتانجل هاي الكراءة ما بدنا إيها هاي طريق الكتاب ليش ما بدنا إيها هاي مش مش واضع انها logic مي بالمي الكتاب استعملها الكتاب السكشن اللي بعدها وبسيرا كل كنت استعملوش هاي استعملو هاي ديب استعملو اللي أنا علمتكم يا أول وحد فبوزبط اني ما حطش اللي تنتمي ما حطش هاي هون وبوزبط اني ما بدون ما حطش وقول if is square بوزبط لحو زي هاي مثلا for all x أو خان ينقرها كل فلسطيني بحب كل فلسطيني بحبه القدس أو ضدر كول اي اشي اي اشي لكلام البريات المحيات السيارات الشوارع اي اشي والنمل والشجار والناس آه فلسطينيا هالأشي يعني إذا كان في شرطه فلسطيني وبحب القدس هاي جملي هاي جملي فلسطينيا مختلفا لا نفس الكتاب挨د هنا قولatinids بردsuppin بدا زي freed some if a person was born in Hebron, then he or she is Khaleeli. نه؟ انت بكثير سأل حالك سؤال إن هتعمل من التقسيس لسنا فيش إشي بيديلك هو أنه فيه كوالتي فاية. فهي بحويلها للوجيك الطريقة هاي for all x تنتمي إلى person. إذا x born in Hebron معناته هو Khaleeli وبقدر كول مثلاً people who like hummus are smart. برضو وين الفورولون هناك؟ هل هي صمو لأول؟ people who like hummus are smart. ها يواضح إن هتعمل معناته people يعني كل من الناس فاعتبتنا الله ألاحظ إن هقد كول endless. هاي مثلاً for all person إذا x likes hummus then x is the same. هذا يعني خدمه عن how to formalize and verbalize statements. قد تكون بعض التفاصيل الأخرى ستورد the verbalization the formalization تورد في المحادرات والتزيلات والخادر.