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

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

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

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

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

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

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