1、例如,当使用NaN时,排中律就不成立了。
2、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式.
3、同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式.