docta_exe的博客

基本概念设非空集合A,B,C.二元运算f:A×B->C为二元运算（×为笛卡尔积）算符用算符来表示运算f，如“*”，“+”，“◦”n元运算封闭性A×A->A，即A中两个元素运算后的结果仍是A的元素代数系统（代数）集合A及其封闭运算组成代数系统，用<A，*，◦>表示子代数（子代数系统）B是A的子集，且A的封闭运算在B中仍封闭，则<B，*，◦>是<A，*，◦>的子代数...

基本概念与表示个体词：原子命题中，独立存在的客体（主语、宾语，如张三）（1）个体常量：特定的个体词，用a,b,c表示（2）个体变量：泛指的个体词（如中国人），用x,y,z表示谓词：刻画个体词的性质或个体词间的关系（如，是大学生）个体域：个体词的取值范围，常用D表示量词：（1）全称量词（∀x）：所有···（2）存在量词（∃x）：存在···（3）辖域：量词的作用范围符号化只需记住：存在用∧，全称用→如：没有人登上过木星.设H(x)：x是人；M(x)：x登上过木星则(∀x)(H(x)

命题：具有确切真值的陈述句复合命题：不能分解为更简单命题的命题原子命题（简单命题）：非复合命题联结词联结词人话真值表否定（非）相反合取（与）同时为1，则结果为1析取（或）同时为0，则结果为0蕴涵（如果···就···）(0,1)，则结果为0等价（当且仅当）两者不一样，则结果为0命题变量（命题变元）：相当于方程中的未知数，通常为P，Q，R命题公式（合式公式）：相当于方程真值表：...