الفئة الفرعية: علم المنطق