ろんり-けいさん [4] 【論理計算】 論理語の定義に従って論理式の真・偽を求めること。論理式とは判断や推理の表現にほかならないから，推論を行うこと。論理演算。