邏ㄌㄨㄛˊluó輯ㄐㄧˊjí代ㄉㄞˋdài數ㄕㄨˋshù

  1. 理則學上指用改造的語言將推理思想作成符號式的演算。由十九世紀中期英國的兩位數學家戴莫根（A. de Morgan）​和布爾（G. Boole）​所開創。