الذكاء الاصطناعي, رياضيات, علم الحاسوب, منطق

الصيغة (المنطق) (Clause (Logic))