ろんりけいさん【論理計算】 論理語の定義に従って論理式の真・偽を求め，その推論を行うこと。論理演算。