邏輯規律是關於思維的邏輯形式的規律,它由同一律、不矛盾律、排中律和充足理由律組成。
在此基礎上給出一機器能行算法,把排中律等值置換成任一重言式,*任一命題邏輯內定理。
同一律、不矛盾律和排中律是傳統形式邏輯中的基本規律,在正統數理邏輯中體現為重言式.