[5分问题]
null
a、 证明公式[（~p∨ q） ⇒ （q）⇒ p） 不是同义反复。
b、 设A为重言式，b为任何其他公式。证明（A）∨ B） 是重言式的。
答复: 说明： 这个问题的小测验 如果你在上面的帖子中发现任何错误，请在下面发表评论
© 版权声明
文章版权归作者所有，未经允许请勿转载。
THE END
喜欢就支持一下吧
![关于”PostgreSQL错误：关系[表]不存在“问题的原因和解决方案-yiteyi-C++库](https://www.yiteyi.com/wp-content/themes/zibll/img/thumbnail.svg)
[5分问题]
a、 证明公式[（~p∨ q） ⇒ （q）⇒ p） 不是同义反复。
b、 设A为重言式，b为任何其他公式。证明（A）∨ B） 是重言式的。
答复: 说明： 这个问题的小测验 如果你在上面的帖子中发现任何错误，请在下面发表评论