三省堂 大辞林

ろんり-けいさん 4 【論理計算】

論理語の定義に従って論理式の真・偽を求めること。論理式とは判断や推理の表現にほかならないから、推論を行うこと。論理演算。