逻辑学四大定律包括：排中律、矛盾律、排蕴律和同一律。

排中律指出任何命题或陈述要么成立，要么不成立；矛盾律则指出任何命题与它的否定之间存在着严格的矛盾关系，两者不可能同时成立；排蕴律指出如果一个命题的前提为真，那么这个命题得出结论的条件也必须为真；同一律则指出每一个命题只有一种真假情况，不存在模棱两可的情况。这四大定律为逻辑推理提供了基本准则和约束，是逻辑学中非常重要的基础知识。