几道离散数学第一章的问题!

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)是为什么,用了什么公式?