انواع منطق