 محاضرتنا اليوم عن الفيرس أوردر اللوجيك وهي شبطة الثلاث شبطة التي كبلو كان عن بروبوجيشن اللوجيك هذا الشبطة التي نشهد ثلاثة سيكشن ابتلكوها مسجلي على هذا الرابط وهذا المحاضرة مكسبة للانتردكشن مكسبة لأربع أكسن أول شيء عن what is a predict and what is the first order logic or predictor هذا اللوجيك قلو أربع مسميات وقلو أكثر عن فكره ما يعني مسميات يعني مرات من كل first order logic مرات من كل the logic of the quantified statements والذي هو لذكره اللوجيكي فيه for all of their existence تي ناس بسموه predict logic وهذا على فكره اسم برضو اسم شاعة يعني أكثر اسم شاعة هو first order logic الكتاب تبعنا بسمية the logic of the quantified statements فيه رو اسم كنا predict logic أو first order predict calculus أو lower predict calculus أو quantification theory هذه المسميات نحكي على نفس اللوجيك فلينا إحنا نسميها first order logic ونشوف له القر فيه أهم إشي بشرك فيه اللي هو لبريدك أو كيف نجاوب شوه لبريدك خلينا نقارن هذا اللوجيك the first order logic مع اللي برو بوزيشن اللوجيك اللي درسنا كبير اللي درسنا كبير اللوجيكية will add, will or, will if then, will if and only سمو مرات indication or purpose الهام إشي بهذا اللوجيك برو بوزيشن اللوجيك او من شوف العالم باري برو بوزيشن شو اللي برو بوزيشن كنا جملي ممكن تكون طويل جدا إله بس ياترو ya quotes هذا كان برو بوزيشن في الفيرس اوردر توجي نحن نحكي مش على بربوزيشن من كلش مثلا today is a friday لا من كل p of x مثلا person وبين كوسان من حط أحبة x أو من كل works at ومن كل بين كوسان مصطفا وسلاش بيرزات university يعني تنكرى ها نسمىها بريدكت بعدين تشوفى كلبو هذا اللوجيك فيه كلبو نفسي الاشي مط وام وار ويف ويف and only أيها إذا لحد الآن شو اختلف اختلف انه مش نفس لبريدكت هون في هاي في البربوزيشن اللوجيك كنا نتعامل مع بريدكت فيه كما نسجلتين اختلف ضفنا علي فر all with their exist ضفنا علي فر all with their exist هذا اللوجيك نسمى first order logic وعلى فكرة انا درسنا البربوزيشن اللوجيك وبعدين وكأنه طورنا تصعر first order logic اشي more advanced الحقيقة في الواقع كيف تطور هذا المنطق هذا المنطق بلش من ايام ورستو ولحد دي يوم بس شيكا بالألف سنين مش ام عطيش للتواريخ بالضبط بس شيكا بالألف سنين هذا اللوجيك كان كثير advanced تطلق نسخة مباصطة منه يعني هو مش كان بسيط وطوة لا هو تطلق نسخة مباصطة من هذا اللوجيك وانها البربوزيشن اللوجيك اللي اشتغل فيها بالغالب العرب و وبعدين بالمناسب هذا اللوجيك كمان اللي بربوزيشن اللوجيك بعدين اللي هو اليوم تستخدمه انته في الدوائل الكهربائي اللي عشان يعمل بوابات منطقية وانبنع عليها ان نحافظ اللي هو البربوزيشن اللوجيك اللي هو نسخة مباصطة من الفيرست في الدوائل الكهربائي وانتقريبا اللوجيك ثالث نسخة مبوزيشن اللوجيك ونسخة مبوزيشن اللوجيك بسكريبشن اللوجيك ومنطق الوصف برضه نسخة مباصطة عنه ونسخة فاني مباصطة هذا مقدم عن هذا اللوجيك ناخد شهول لبريدكيد هي صفع او اسموها بالعرب المحمول وانتقريبا يعني مش مش جملي طويلة تحتمل في our force هاي كل argument هم اسمها argument او variable فاتلمنا في أمثل عليها ان مثلا P of X كما X2 X3 X4 زي مثلا او بين كواسن أمجد نكرقها أمجد is a person ونقول بيزي يو يعني بيزيات يونيورسيتي is a university وعدم نقول أمجد study at بيزيات يونيورسيتي وعني هيك اخنا مشترل او هيك مكتب لبريوزيشن هاي بيسموها مرات صفات او تطور ان هلا ببصر مرات صفات او تصير علاقات بين الأشياء if the domain of a predicate variable شو الدومين تبقى هاي هان ما بقدر احوط اذا مر احوط أمجد ومر احوط يعني مدرسي بيسم مدرسي ما بس بوش the variable بكون إلو فهاي يكون منسمية بريد كتنيل وهي منسمية الارجل ولي بريد كتس ممكن يكون يونري شو يعني يونري يعني واحد يعني زي هيل فهو ممكن يكون باينري باينري شو أنا هان ممكن أنا اعطي بهذا الطريق نسمي بهم هاي الحالي تيرنري تيرنري تيرنري بريد كيس لي ممكن يكون سطيقات ويعني يكون أمجد سطيقات بيرزيت يونورسيتي باينري ممكن يكون أكثر ممكن لي ممكن يكون في سطيقات بيرزيت يونورسيتي في كومبيوتر سيونز في العام 2015 وممكن يكون أي إشي منطب عدد الارجومنت كت مبين فبس أنا نعرف أنه هاي عدد الارجومنت نسمي اينري بريد كيس فهذا هو لبريد كيس هذا هو بالتحكيلكم عن التروث تبعته هل هو ممكن يكون صح أو خطأ هون دمت مكتب تعريف لبريده تعريف يعني تعريف لبريده كت بهذا الصور من كل x تنتمي إلى d such that نهام سموان if b of x if b of x is a predicate and x has a domain d the truth of the truth set يعني ما بقول أنا person or person x person or person x هاي شو تروث تبعته دي تروث ست تبعته شو تروث ست تبعته هي مش هيد تروه هاي x is a variable منقول أنه ممكن x تنتمي إلى الوية لدومان معايا شو أنا دومان يعني مجموعة من القيام عندنا مصير مجموعة من القيام اللي هم من قد يقولون الناس اللي من خلقوا اللي موجودين و اللي بدون ينخلقوا كلهم فرط أصنعهم هون و بصير person of x هذا الباريع بالبغوك ينتم من هذا الدومان و بالتالي مجموعة هدولة مجموعة هدولة القيام كلهم دي تروث ست all elements يعني كل القيام اللي بطولها من هون اللي بتخلي هاي اللي بدينك يتروه هاي نسمى يتروث ست لا لا هاي اللي بدينك فعن مجموعة ثاني منقول x تنتمي إلى organization او اكترع بالنديزي و بعدها بكرة بلعبة x belongs to organization صده x is universal كراه مرور اللهم حطيت هدولة الشعارة المجموعة من على الجنبين يعني أنا بحكي على تعريف عبحكي على تعريف هاي اتعريف لبريد كده أنا كاعد بعرق في لبريدك اللحظيان شو يعني كاعد بعرق في لبريدك بقول هو بالعربي هو من الجموعي المؤسسة اللي تنتظك عليها صفات جامعة أنا كاعد بعرق في تعريف بقول شو يعني person of x university university university معلش للخط على الكيبور على الناس university x هاي تعريف بقول لك هي مجموعة المؤسسات اللي تنتظرك عليها صفات جامعة لا هي مجموعة لما كنت هي مجموعة معنى تبدحات هدول هي مجموعة بعدين ايش المؤسسات او هاي المجموعة ايش كيف المجموعة بالبلدي بالعمية بقول اللي او اللتي بالنفصح وجموعة المؤسسات اللي تنتظك عليها صفات جامعة من نرخل في ست of all organizations that are universals بقول اللي تعريف student of x بقول the set of all persons that are students شاهدتو كيف the set of all persons that are students طيب هذا لحد الآن اللي خخص لحد الآن احنا بس اعرفنا شو لبريديكيت ما دخلنا عش في لبريديكيت لوجيك احنا فقط عرفنا شو هو لبريديكيت وفقط وكفنا لشان ندخل على for all organizations