用真值表驗證（┓ q∨p）├（p→q）是否為有效式。

某經濟學家：現在 GDP 仍是中央政府考量地方政府政績的主要指標之一。要提高地方的 GDP，需要大量資金。 在現行體制下，地方政府只有通過轉讓土地才能籌集到大量資金。如果高價拍賣土地，則房價必定高。但中央政府 已經出臺一系列措施穩定房價，如果地方政府仍大力推高房價，則可能受到中央政府的責罰。可以作為這位經濟學家論述的邏輯結論是 ( D )

• A、在現行體制下，如果地方政府降低房價，則不會受到中央政府的責罰
• B、在現行體制下，如果地方政府不追求GDP 政績，則不會大力推高房價
• C、在現行體制下，地方政府肯定不會降低房價
• D、在現行體制下，地方政府可能受到中央政府的責罰，或者無法提高其 GDP 政績

在下列各式的括號內填入適當的符號，使之成為有效的三段論式。