分类:逻辑演算

维基共享资源上的相关多媒体资源：逻辑演算

本范畴包含同操纵形式逻辑公式和值有密切关联的演算和方法。