التأسيس · حقلٌ من المنطق
منطق القضايا
جداولُ الصدق، والروابط، وقواعدُ الاستدلال: جبرُ العبارات التامّة، وأوّلُ نسقٍ يُتقَن طبعًا.
مدخلٌ مناسبٌ لـ علوم الحاسوب
- المشكلة
- كيف تعتمد القيمُ الصدقيةُ للعبارات المركّبة، آليًّا، على صدق أجزائها؟
- نقطةُ التحوّل
- الدالّيّةُ الصدقية: كلُّ رابطةٍ يحدِّدها جدولٌ منتهٍ، والنسقُ مكتملٌ للقضايا الواجبة الصدق.
- سؤالٌ مفتوح
- أيُّ القراءات اللاكلاسيكية للروابط (الوثيقة، الحدْسية) أصدقُ تمثيلًا للاستدلال الواقعي؟
المتون
- Mathematical Logic
لدراسته
- Propositional and Predicate Calculus
- Logic & Discrete Mathematics
- Mathematical Logic for Computer Science