同一律,矛盾律和排中律的公式是等值命题吗?