أنواع المنطق