充足理由律的逻辑要求是从理由（或前提）能必然地推出结论。

充足理由律的逻辑要求是理由（或前提）必须真实。

判断题充足理由律的逻辑要求是理由（或前提）必须真实。

排中律的公式可以是：并非A 不是非A。

判断题排中律的公式可以是：并非A 不是非A。

矛盾律的公式可以是：A 不是B。

判断题矛盾律的公式可以是：A 不是B。