合式公式是命題公式的別稱,p→(r→q) 是命題公式,當(dāng)然也是合式公式.　　哪個教材說的？合式公式 = 命題公式，屈婉玲編的離散數(shù)學(xué)就這么說的。pq→r 確實不是命題公式。明顯的，ta寫錯了。p→(r→q) 是合式公式，而 pq→r 不是合式公式。