企源知识库

判别下列公式中哪些是合式公式,那些不是合式公式。
(1)(Q→R ⋀S);
(2)(P⟺ (R→S));
(3)((¬P→Q)→(Q→P)));
(4)(RS→T);
(5)(¬(PⅤQ)⋀¬R)Ⅴ((¬P⋀Q)Ⅴ¬R)⋀S)。
【正确答案】：(2)、(3)、是合式公式,(1)、(4)、（5）不是合式公式。