الذكاء الاصطناعي, الرياضيات, الفلسفة, المنطق, علوم الحاسوبحساب القضايا الشرطي (Implicational propositional calculus)