論理的処理
論理的
+
処理
記号化
記号処理