排中律造句怎麼寫

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

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

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