类演算

数理逻辑的基本组成部分。它从外延方面研究类概念和类概念间的逻辑关系，并依据公理和推演规则进行推演，构成类概念演绎体系。始自布尔。其中完全借用代数符号来推演的部分称为逻辑代数或布尔代数，其他则被视为谓词演算的一部分。类演算在研究开关线路、自动系统逻辑设计及计算机逻辑设计等方面获得广泛应用。