书上的意思,大概是只有(p→(r→q))才是合式公式,而p→(r→q)不是.为什么呢?假设p→(r→q)是合式公式,那么我们用~来代表否定：请问,p→(r→q)是什么意思?它否定的是p呢,还是全体呢?就是说,应该是[(~p)→(r→q)]呢,还...