This paper has comprehensively and systematic ally summed up the provable methods of equivalence of logical identities on the basis of expounding various provable methods and illustrating, the provable steps of logical identities by means of various examples.
全面系统地总结了逻辑恒等式的证明方法 ,在阐明各种证法的思想、方法的基础上 ,用形式多样的例子说明了逻辑恒等式的证明步骤 ,并简要的介绍了一些方法的使用技巧。
本网站所收集内容来自网友分享仅供参考，实际请以各学校实际公布信息为主！内容侵权及错误投诉：1553292129@qq.com
CopyRight © 2020-2025 优校网[www.youxiaow.com]版权所有 All Rights Reserved. 浙ICP备2024058711号