离散数学几条简单问题

题目

离散数学几条简单问题
判定下列符号串是否为公式,若是,请给出它的真值表.
（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.P ,Q等原子命题是公式；2.p∨q,p^q,p->q,(P),pq,!p 是公式；3.由有限步2组成的符号串是公式；由此可知 （1）（2）都是公式； 他们的真...