离散数学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
本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
最新文章