现定义命题演算的合式公式（wff），规定为：
A、单个命题本身是一个合式公式；
B、如果A是合式公式，那么¬A是合式公式；
C、如果A和B是合式公式，那么（A∧B），（A∨B），（A→B），（A↔B）都是合式公式；
D、当且仅当能够有限次地运用A、B、C所得到的命题是合式公式．
说明：考生无需知道（A∧B），（A∨B），（A→B），（A↔B）所表示的具体含义．
下列公式是合式公式的是：______．
①（（¬P→Q）→（Q→P））②（Q→R∧S）③（RS→T）
④（P↔（R→S））⑤（（P→（Q→R））→（（P→Q）→（P→R））

查看答案