1, 在此基础上给出一机器能行算法，把排中律等值置换成任一重言式，证明任一命题逻辑内定理。2, 例如，当使用NaN时，排中律就不成立了。3, 同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正