符號邏輯
詞語解釋：
數理邏輯。
分詞解釋：
邏輯：
①思維的規律、規則：這個想法似乎不合邏輯。
②研究思維規律的科學，即邏輯學。
③客觀事物的規律：歷史的邏輯｜生活的邏輯。
④觀點，主張。多用于貶義：霸權主義的邏輯。
數理邏輯：
亦稱“符號邏輯”。狹義指用數學方法研究數學中的演繹思維以及數學基礎的學科。廣義指一切用符號和數學方法處理和研究演繹法的學問。既是數學的一個分支，又是邏輯學的一個分支。數理邏輯對數學研究和工程技術有重要意義，對一般思維中某些問題的解決也有成效。
符號：
①記號；標記：標點符號ㄧ文字是記錄語言的符號。
②佩帶在身上表明職別、身分等的標志。