تعلم آليات الحساب المنطقي القائم على استخدام الرمزية الكاملة:

حساب القضايا غير المحللة.

حساب المحمولات

حساب العلاقات

حساب الفئات