اختبارات بالاستقراء: قواعد دي مورغان العامة والتوزيع ملخصفي هذه الحصة، يتم تناول موضوع الاختبارات بالاستقراء في الرياضيات والمنطق الاقتراحي. يتم شرح نوعين من الاختبارات الموجودة: الاختبارات الداخلية أو الاستنتاجية التي تستند إلى قواعد المنطق، والاختبارات الخارجية أو الميتا-رياضية التي تكون ضرورية لإثبات العبارات التي تتعلق بالمنطق نفسه. يتم تقديم الاستقراء...
الاستقراء على تعقيد الصيغ الملخصفي هذه الحصة، ستتعلم عن نوع من الاستقراء الرياضي يُعرف بـ"الاستقراء على تعقيد التعابير"، وهو مفيد جدًا لإثبات الخصائص في المنطق الاقتراحي. من خلال مثال بسيط، وهو مبرهنة الاستبدال، ستتعلم كيفية تطبيق هذه التقنية وكيف يمكن إثبات أن خاصية معينة تنطبق على جميع التعابير في المنطق...
الأشكال الطبيعية وخصائصها الملخصالمنطق الاقتراحي هو أداة أساسية في الرياضيات وعلوم الحاسوب. في هذه الحصة، سيتم تقديم نتيجة مثيرة للاهتمام ومفيدة تتعلق بالأشكال الطبيعية. لهذا الغرض، سيتم تعريف مفاهيم الحرف (الليترال) والشكل الطبيعي الاقتراني (CNF) والشكل الطبيعي الانفصالي (DNF). بالإضافة إلى ذلك، سيتم إثبات نظرية الأشكال الطبيعية التي تنص على...
خوارزمية الشكل الطبيعي وتطبيقاته الملخصفي هذه الحصة، سنراجع خوارزمية FND/FNC، والتي ستسمح لنا باكتشاف الشكل الطبيعي التواؤمي أو التفكيكي المكافئ لأي تعبير في المنطق الاقتراحي. سنبدأ بشرح الخطوات الثلاث التي تشكل هذه الخوارزمية، والتي تتكون من إزالة الضمنية والضمنية المزدوجة، إزالة النفي المزدوج، وتطبيق التوزيع، وفقًا لما إذا كنا نريد...
