合式公式是命题公式的别称,p→(r→q) 是命题公式,当然也是合式公式. 合式公式是命题公式的别称,p→(r→q) 是命题公式,当然也是合式公式.