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

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

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

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

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

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

7、 邏輯規律是關于思維的邏輯形式的規律，它由同一律、不矛盾律、排中律和充足理由律組成。