引用解释
形式逻辑的基本规律之一。在同一时间和同一条件下，互相矛盾的两个判断中，必有一真，不能都假。如一个是假的，另一个一定是真的，不能有中间情况。
读音：pái zhōng lǜ
首字母缩写：pzl
【拼音】páizhōnglǜ
1、 在此基础上给出一机器能行算法，把排中律等值置换成任一重言式，证明任一命题逻辑内定理。
