离散数学几条简单问题判定下列符号串是否为公式,若是,请给出它的真值表.(1)(p∨q)→p(2)p∧(p→q)→q用等值

问题描述:

离散数学几条简单问题
判定下列符号串是否为公式,若是,请给出它的真值表.
(1)(p∨q)→p
(2)p∧(p→q)→q
用等值演算法,证明下列等值式
(1)p→(q→r)q→(p→r)
(2)p→(q→r)(p→q)→(p→r)
1个回答 分类:数学 2014-10-26

问题解答:

我来补答
亮剑和 不要误导别人
第一个问题的两个符号串都是公式.可以从公式的定义来看:
1.P ,Q等原子命题是公式;
2.p∨q,p^q,p->q,(P),pq,!p 是公式;
3.由有限步2组成的符号串是公式;
由此可知 (1)(2)都是公式; 他们的真值表 用“亮剑和”的贴图就不难看出.
第二个问题 只要将等式两边的公式的真值表列出,就可以发现他们是等值的,这就是等值演算法.
 
 
展开全文阅读
剩余:2000
下一页:奇偶性的应用。