离散数学等价公式成立的依据

我总觉得真值表是一个巧合，真值表不能证明等价公式是唯一的）希望能得到解答我是初学的谢谢

2026年09月23日 20:18

有2个网友回答

网友（1）：

真值表虽然不能证明等价公式是唯一的
但是可以证明2个公式是等价的
你举的例子中非P合取Q与P蕴含Q不是等价的
非P合取Q与P条件Q才是等价的
而非P合取Q与P蕴含Q如果要等价，必须加一个条件： P条件Q为一个重言式
不知道这么说能理解么，你仔细看一下关于蕴含式的定义

网友（2）：

buzhi

离散数学 等价公式成立的依据