思想的法则

思维规律是人类实践理性逻辑的基本公理。哲学家和逻辑学家都对它们特别感兴趣。

违反这些法则要么是不可能的，要么是自相矛盾的。许多逻辑谜题都是围绕着这些逻辑属性而展开的。

什么是。

$\left (P = P \right) \forall P$

没有什么可以是或不是。

$\sim \left (P = (sim P) \right) \forall P$

一切都必须是或不是。

$左(P \lor (\sim P) \右)为所有P$