几道离散数学第一章的问题!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)(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)是为什么,用了什么公式?