在 研究 數學 的 過程 中 ， 我 發現 符號 邏輯 是 一個 非常 實用 的 工具 。