等值演算的应用举例,等值演算

等值演算的应用举例,等值演算

4.4 串操作应用举例第5章数组和广义表5.1 数组的定义5.2 数组的顺序表现和实现5.3 矩阵的压缩存储5.4 广义表的定义5.5 广义表的储存结构5.6 m元多项式的表示5.7 广义表的递主要内容等值式与基本的等值式等值演算与置换规则析取范式与合取范式，主析取范式与主合取范式联结词完备集可满足性问题与消解法1 2.1等值式定义2.1若等价式AB是重言式，则称A与B等值，记作AB，

主要内容等值式与基本的等值式等值演算与置换规则析取范式与合取范式，主析取范式与主合取范式联结词完备集可满足性问题与消解法1 2.1等值式定义2.1若等价式AB是重言式，则证明的话只需要把量词拆开再进行等值演算就好。量词分配：\forall x(A(x) \wedge B(x)) \Leftrightarrow \forall x A(x) \wedge \forall x B(x) \exists x(A(x) \vee B(x)) \Left

1.5 谓词公式等值演算(2学时) Nested Quantifiers (2 hours) 谓词公式之间的逻辑蕴含与逻辑等值，带嵌套量词的自然语言命题的符号化，嵌套量词与逻辑等值Understanding statements i3 )非重言式的可满足式：命题变元的不同取值，让命题公式有真值为1也有真值为0的情况. 命题公式的等值式1 )¬ ( A ᥈ B ) ⟺ ¬ A ᥎ ¬ B ¬ (A ᥈ B) ⟺ ¬ A

4.等值演算公式：注意：否定拿进去要变号，分配律、德摩根、蕴含等值式背不住就准备挂科吧。应用举例：考试规则可以省略。用等值演算法判断下列公式的类型：排中律和矛盾律可以得经验顺序：对，反，幂，三，指谁在后面就把谁凑到微分的后面去，比如，如果被积函数有指数函数，就优先把指数凑到微分的后面去，如果没有就考虑把三角函数凑到

˙＾˙ 对“己所不欲勿施于人”这句话进行翻译，并且，使用“类命题”的等值演算，和“实质蕴涵”混合使用的方法，找到了这句话两个可能依赖的假设或理论，也就是“理论1”然后，在此基础上研究命题公式间的等值关系和蕴含关系，并给出推理规则，进行命题演绎。主要内容如下：2.1 命题的概念和表示2.2 逻辑联结词2.3 命题演算的合适