موسومة بـ “entailment”

المنطق وتمثيل المعرفة

الاستدلال على ما يجب أن يكون صادقاً: النماذج والاستلزام محلولةً بالعدّ الشامل، والسلامة والاكتمال، ولماذا ينفد التعبير من منطق القضايا، وأين يلتقطه منطق الرتبة الأولى.