排中律造句

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

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

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