數ㄕㄨˋ理ㄌㄧˇshùlǐ邏ㄌㄨㄛˊ輯ㄐㄧˊluójí

简数理逻辑

shùlǐ luójiㄕㄨˋ ㄌㄧˇ ㄌㄨㄛˊ ˙ㄐㄧ

數學的一個分支，是用符號及數學方法研究邏輯或形式邏輯的學科。也作「符號邏輯」。

英mathematical logic, symbolic logic

法logique mathématique

德Mathematische Logik (S, Math), formale Logik (S, Math)