离散数学3
发布时间：2024年01月11日
?
补变元 解释：它是以反^作为一组一组的，因此，对于P反^Q来说，P是一组，Q是一组，又有以下：对缺少变元的项要补齐，P缺少Q，Q缺少P。因此，补齐。
用分配律展开 解释：?
?
?比如P->Q，就找这一列中为T的那些。
命题逻辑推理一：直接推理? 命题逻辑推理二：间接推理
?
例3也可以用条件真推结论真这个道理去解释。?
?
?第一步解释，将结论"变成"条件
?其余的，以条件真推结论真。每一步都是真的
对于第七步，因为我们之前把结论变成条件，因此，我们要证明的就是所有东西推S
对于第八步，我们要变回原来题目要求的东西，因此，要利用CP原则。
?
谓词逻辑的基本概念
?
?
?
?
?
?
?
?
文章来源:https://blog.csdn.net/2301_80185446/article/details/135490422
本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。 如若内容造成侵权/违法违规/事实不符，请联系我的编程经验分享网邮箱：chenni525@qq.com进行投诉反馈，一经查实，立即删除！
本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。 如若内容造成侵权/违法违规/事实不符，请联系我的编程经验分享网邮箱：chenni525@qq.com进行投诉反馈，一经查实，立即删除！