distributive

此条目没有列出任何参考或来源。 (2021年10月9日) 在逻辑中，陈述p和q是逻辑等价的，如果它们有相同的逻辑内容。 p和q是语法等价的，如果每个都可以证明自另一个