tautologies的解释
原级：tautology
1. 重言式：特别低,所有逻辑的重言式(tautologies)都可以被证明. 即使在经典逻辑中,这与前述的完备性是不同的(即一个陈述和否定陈述对于这个逻辑而言不可能是重言式). 相反的概念被称为可靠性(soundness). 在计算复杂度理论(computational complexity theory)中,