基本复合推理主要包括以下几种类型：

联言推理

分解式：如果p且q，则p。

组合式：p；q。因此，p且q。

选言推理

相容选言推理：如果p或者q，非p。因此，q。

不相容选言推理：要么p，要么q；非p。因此，q。

假言推理

充分条件的假言推理：如果p，则q。因此，如果非q，则非p。

必要条件的假言推理：只有p，才q。因此，如果q，则p。

充分必要条件的假言推理：当且仅当p，才q。因此，如果p，则q；如果q，则p。

负命题推理

负命题是通过否定某个命题所得到的命题。例如，原命题为“所有科学家都是大学毕业的”，其负命题为“并非所有科学家都是大学毕业的”。

充要条件推理

当且仅当p，才q。因此，如果p，则q；如果q，则p。

反三段论

前提：如果一个三角形有直角并且两条边相等，那么一定是等腰直角三角形。结论：如果一个三角形有直角并且不是等腰直角三角形，那么它一定不能有两条边相等。

假言三段论

前提：如果天天坚持锻炼身体，就能拥有健康的体魄；如果拥有健康的体魄，就能有较高的工作效率。结论：如果天天坚持锻炼身体，就能有较高的工作效率。

二难推理

前提：要么p，要么q。因此，如果非p，则q。

这些复合推理形式在逻辑学中非常重要，可以帮助我们进行更加复杂和深入的思考。