(P⟺ (Q→R))不是合式公式,原因是__________________。

(P⟺ (Q→R))不是合式公式,原因是__________________。
【正确答案】:

⟺属于合式公式。