• 正體: 數學邏輯[電子計算機]