1、不矛盾律和排中律是傳統形式邏輯中的基本規律,在正統數理邏輯中體現為重言式.

2、例如，當使用NaN時，排中律就不成立了。

3、同一律、不矛盾律和排中律是傳統形式邏輯中的基本規律,在正統數理邏輯中體現為重言式.

4、在此基礎上給出一機器能行算法，把排中律等值置換成任一重言式，證明任一命題邏輯內定理。

5、隨著多值邏輯和分析哲學的發展，經典的排中律面臨著一些難題，我們應該對排中律有新的理解。

6、本文分析了排他性邏輯思維的內容，在經濟活動中的表現及與排中律、選言推理的關系。

7、排中律是思維的基本規律之一，它構成古典邏輯中所有證明的基礎。

8、邏輯規律是關于思維的邏輯形式的規律，它由同一律、不矛盾律、排中律和充足理由律組成。（https:/ / www.306piaoyiban.cn查字典排中律造句）