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

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

3, 同一律、不矛盾律和排中律是傳統(tǒng)形式邏輯中的基本規(guī)律,在正統(tǒng)數(shù)理邏輯中體現(xiàn)為重言式.

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

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

6, 本文分析了排他性邏輯思維的內(nèi)容，在經(jīng)濟活動中的表現(xiàn)及與排中律、選言推理的關系。

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