现定义命题演算的合式公式(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)) |