傳統邏輯中很重要的部分,便是思想的三種律則:
同一律:A等於A,A是A。「牛牽到北京還是牛」這句諺語也是同一律的應用。
矛盾律:A不等於非A。
排中律:A或非A。與矛盾律有點相像。
簡而言之,同一律指出「是真就是真,假就是假」,矛盾律指出「是真就不能不是真,不可能同時是真也是假」,排中律則指出「真假必取其一,而無第三種可能。」