 طيب، إحنا هذه طبعا مقدمية الفيرس أوردر اللوجيك شرحنا أي شو لبريدكيت، شرحنا أي شو للكوانتيفايرز، الفورور ودريبسيس أخذنا كيف نعمل فورماليزيشن وفيرباليزيشن ده لوجيكال ستيتمس في الفيرس أوردر اللوجيك ألا بدنا نخسن بالإجزاء الليل نسموه تاركيس أو تارسكي وفي إحنا لو تخيلنا عظم مثال لو تخيلنا رفعنا هذه المصفوفي وفيها متلثات ودوائر ومربعات وإلها أسماء بالأخبار خلالنا نفحص شو مثلا هدول الجمال بيعنين وهل هم ليتو أور فورس هذه الجمالية تقول لكل تي ستترى إذا تي is a triangle then t is blue يعني يوجد مثلات لونه أزرق أو يوجد مثلثات هاي المثلثات كل هاي المثلثات لونها أزرق يعني معنى أخي كنت أنا بردو بقدر أكتب الجملي نفسها for all t للبقاودين على صير الثاني ممكن تنتمي إلى is triangle such that blue t بدون الف ذن بس هي هونى بهذا السيار يجي نفس المعنى فأنا يعني معنى أخر كل المثلثات لونه أزرق صحيح هل فيه مثلث لونه مش أزرق كل المثلثات فعلا لونه أزرق جملي الثاني بتقول إنه كل إيشي أزرق بكون triangle يعني كلشي أزرق بكون مثلث صحيح جواب لا لأنه فيه إنه إي وإي معنى لونه مش أزرق طيب لو أخذنا هذا الجملي بتقول there exist y such that y is a square يعني there exist a square وبيكون هذا a square بكون d على يامين at the right of y يعني هاي أول إيش خلينا مبسط الجملي خلال إذا بتكم إذا بتكم هاي وبلغوا بتقدروا بحقوا هاي في نفس المعنى يعني يوجد مربع d على يامين وان وين دي أول إيش دي هاي دي هل يوجد مربع وين اللي على يامين وين اللي على يامين دي من هاي الناح هل في مربع من هاي الناح على يامين دي في مربع طيب أنا مجوز خرب جد خلينا نلو الدنيا دي إذن كرأة دي at the right of y يعني y في على شماله دي مصبوط هاي الناح هاي الناح فهي هلا في كمان there exist a square z يعني في square في مربع ماذا المربع غري في مربع غري هون لا هذا نثى المشهور اسمه عن لوحة اسمه طارسكي عن لا فهم بس معاني الجمال اللذين كتب بي