排中律[pái zhōng lǜ]

用“排中律”造句

1、 在此基础上给出一机器能行算法┃，把排中律等值置换成任一重言式┃，证明任一命题逻辑内定理。

2┃、 例如┃，当使用NaN时，排中律就不成立了┃。

3┃、 同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式.

4┃、 随着多值逻辑和分析哲学的发展┃，经典的排中律面临着一些难题，我们应该对排中律有新的理解┃。

5┃、 排中律是思维的基本规律之一，它构成古典逻辑中所有证明的基础|。

6|、 本文分析了排他性逻辑思维的内容，在经济活动中的表现及与排中律|、选言推理的关系|。

7、 逻辑规律是关于思维的逻辑形式的规律|，它由同一律|、不矛盾律、排中律和充足理由律组成|。