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

人气：274 ℃　时间：2020-01-27 23:12:14

解答

亮剑和不要误导别人第一个问题的两个符号串都是公式.可以从公式的定义来看：1.P ,Q等原子命题是公式；2.p∨q,p^q,p->q,(P),pq,!p 是公式；3.由有限步2组成的符号串是公式；由此可知（1）（2）都是公式；他们的真...