这两个公式确实挺特殊的.相信你也知道【p∧┐p】和【p∨┐p】分别属于矛盾式和重言式.其实,同类的公式又岂止这两个,再举个例子：　　矛盾式：【（p∨q）∧（p∨┐q）∧（┐p∨q）∧（┐p∨┐q）】；　　重言式：【（...