理則學上指用改造的語言將推理思想作成符號式的演算。由十九世紀中期英國的兩位數學家戴莫根（A. de Morgan）和布爾（G. Boole）所開創。
「邏輯代數」的拼音是 luó（又音）jí（又音）dài（又音）shù。注音符号：ㄌㄨㄛˊ、ㄐㄧˊ、ㄉㄞˋ、ㄕㄨˋ。
「邏輯代數」全文释义收录于《重編國語辭典修訂本》，另有多部版权期辞书提供词头索引。