离散数学中的等价公式的一个简单的疑问