摘要： 1. 联合国教科文组织 七大基础学科：数理化生地天+逻辑学 逻辑学在中国基础教育中几乎没有 集合论能比较完备解释数学概念2. boolean联系了逻辑和数学的关系 代数运算代替逻辑思考 简化了复杂的逻辑思考 逻辑学的域(定义域和值域)为二个元素的：真，假 元可以很多用n表示 用集合的概念（0,1）n->(0,1)逻辑学域（变量取值）元（变量总数）代数表示真 true(0,1)1假 false(0,1)0且（与）and2*或 or2+否 not1~谢费尔竖线 nand2~ and异或 exclusive or2逻辑等价 equivalent2== 蕴涵 implication2->当 阅读全文