几道离散数学第一章的问题!
1.判别下列公式哪些是合式公式,哪些不是合式公式?
a)(Q→R∧S)
b)(p[双条件](R→S))
c)((非P→Q)→(Q→P))
d)(RS→K)
e)((p→(Q→R))→((P→Q)→(P→R)))
2.根据定义,说明下列公式如何形成合式公式?
1,(A→(A∨B))
2,((非A∧B)∧A)
3,((非A→B)∨(B→A))
我不太明白,什么就合式公式,
还有一题:
验证(P∨非P)→((Q∧非Q)∧R)是矛盾式.
(P∨非P)→((Q∧非Q)∧R)<=>T→((Q∧非Q)∧R)
1)<=>T→(F∧R)
2)<=>T→F
3)<=>非T∨F
4)<=>F∨F
5)<=>F
这道题书上是如上写的,可我不明的第2)步就己经出答案了,就能直接到5)步了,为什么还要那么多过程?由2)到3)是为什么,用了什么公式?