离散数学几条简单问题判定下列符号串是否为公式,若是,请给出它的真值表.（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）→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）都是公式； 他们的真...