In logic, statements p {\displaystyle p} and q {\displaystyle q} are logically equivalent if they have the same logical content.
在逻辑中，陈述p和q是逻辑等价的，如果它们有相同的逻辑内容。