 إحنا كنا في سيكشن 3.2 وكننا نحكي عن الكوندشن الستيتمانس وشرحنا النجيائشن كيف نعمل نجيائشن كيف نم في جمال بالفيرس على الفيرس لفيرس أوردر اللوجيك في هذا الهاتف والفرقول وهلا بدنا نحكي عن الكوندشن والانفيرس والكنتر بوزيتيب وإلى أخيره بالفيرس أوردر طبعا هذا أخذنا إحنا بالبروبوزيشن اللوجيك وهو نفسه ما دخليفش فيه يعني هو بس في التركير خرينا انه نتذكر كلنا طبعا انه الجملي زي عندنا مثلان هذا الجملي وهذا الجملي الكنتر بوزيتيب طبعها انهما دولا أصلا مالهم equal وكلنا ان الكونفرس والانفرس زي اني بروبوزيشن اللوجيك إذا ترجعوا لمحاضرت بروبوزيشن اللوجيك في سيكشن 2 هذولا برضه equal الكونفرس والانفرس equal بس هذول ما بيساوه هذول مش equal مع هذول طبعا كلنا الكونتر بوزيتيب إذا عندني أنا إذا منذكرين في ال بروبوزيشن اللوجيك إذا كان عندني ifb then q كانت الكونتر بوزيتيب طبعها إذا كانت الكونتر بوزيتيب if not q then not b وهذا ايشول اختلفه اختلف انه هي بداي بروبوزيشن صارة ifb وفي اله كونتفايل our quantifiers نافسل بس هي نافسل بس هي نافسل بس هي نافسل بس هي نافسل بالتالي بيقول for all x x is a Palestinian such that if x is a Palestinian if x is a Palestinian then x is ووذلك شو الكنترا بوزيتيف تباحه for all x تنتمي الى بيرسون بعدين بطنا نجيب هاي من هون نقول مارت سمارت x ثان مارت فلسطينيان x هذا بالكنترا بوزيتيف لأيه واضح هاله الكنفرس تل إشي إذا كان لدي بالبروزيشن اللوجيك إذا بي ذين you شو كان الكنفرس باكسي إذا كيو ذين بي باكليب ذين إذا فتادي إذا كيو ذين بي ونفس الإشي إذا كان عنده هون فهذا تسير for all x تنتمي إلى بيرسون شو مارت سمارت x ثان مارت فلسطينيان x واضح هاي ذا ال... وإذا كان الانفرس تذكروا إذا بالبروزيشن اللوجيك إذا عنده if b then q شو معكوز ها معكوز ها إنه not b if not b then not q ونفس الإشي هون for all x تنتمي إلى بيرسون إلى بيرسون such that not فلسطينيان x if x is not فلسطينيان b then x is not سمارت نفس الإشي ما اختلفش علينا ولا أي إشي عن الإشي من اللوجيك هذا بالنسبة للكونفرس والإنفرس والكونتربوزيك هاي كمان مثال من حلو هذا المثال بيقول for all x تنتمي إلى r يعني أي عدد حقيقي real إذا x more than 2 then x تربيع x more than 4 وهاي عيشو ذات سير for all x تنتمي إلى r فكرة كلهد for all x تنتمي إلى r فليم حبت هد for all x تنتمي إلى r شو بعدين such that ادين شو بتقول هلا بحارة الكونتربوزيك الكونتربوزيك دي أجيب هاي عكسها وحقط بالأول فذات سير x تربيع اقل أو تساوي يعني إذا x تربيع اقل أو تساوي 4 معاناته x اقل أو تساوي من 2 عكستر من جهاتي لاحظين يعني نقط نقط يعني أنا عكستر حالة بحالة الكونتربوزيك الكونتربوزيك الكونتربوزيك أنا بس كنت كلبه كلب ما سويش شي فا بقول x تربيع if x تربيع اقل وهي هاي اقبر من 4 معاناته ذن x أكبر من 2 بحالة الإنفت بس بن فيها بظلك نفس الترتيب فهي إنه فيهون بمان على أكبر الأصغر x اقل أو تساوي من ذن اقستربيع اقل من 4 هذا الحال في حالة عنده سؤال هذا هو الكونتربوزيك والانبرس والانبرس والانبرس والانبرس بكتور لش ملحق يساوي في الكونتربوزيك والانبرس لانه نفي انت كصدك عن هاي صح عن الأكبر الأصغر عند الكونت عند الأكبر وزفاء أصغر هالله شوفي اقل تبتر تحطه مات مورضة اذا هي مكتوب كتاب زي هاي تقدر تحطه مات مورضة أو لس or equal ما هو شو عكس الأكبر اصغر أو لساوي اصغر او لساوي بس بول سوي مش عكس يعني نفي في سؤال ثاني