قارن وتباين بين المنطق المقترح (Propositional Logic) والمنطق المسند (Predicate Logic). ركز على الفروقات في التعبيرية، والقدرة على تمثيل العلاقات، والبنية النحوية لكل منهما، مع تقديم أمثرة توضيحية لحدود المنطق المقترح.