搞懂符號和規則之後 發現其實量限邏輯也沒有很難