1.有时候会用“但是”一次代替“并且”一次表示合取。比如，语句“阳光灿烂，但是在下雨”是“阳光灿烂并且在下雨”的另一种说法。
2.方便理解条件语句的真值表，可以将条件想象为义务或合同。例如，许多政治家在竞选时程度：“如果我当选了，那么我将会减税。”如果他当选了，选民将期望他减税。再说。如果他没有当选，选民就无法期望他减税。只有当政治家当选但是没有减税选民才可以说政治家违背了承诺，这种情形对于在p→q中，p为真，但q为假的情况。
蕴含：记住“p仅当q”表达了“如果p，则q”同样的意思，注意“p仅当q”说的是q不为真，p也不能为真。也就是说，如果p为真，q为假，则这个语句为假。当p为假时，q可以为真也可以为假，以为语句没有谈及q的真值。
读到这里，我发现，越是经典的书越是平易近人，不装神弄鬼，高深莫测。
蕴含：p→q p是q的充分条件，q是p的必要条件
3.一个条件语句与他的逆否命题是等价的。
p条件语句的逆与反也是等价的。
4.合取的优先级高于析取，条件（蕴含）和双条件（双向蕴含）的优先级低于合取和析取，否定运算符高于其他一切。
比特（binary digit）是以这个具有两个可能值的符号，即0和1，信息是由比特串（0和1构成的序列）表示，比特串的长度就是他所含比特的树木，对比特串的运算可以处理信息。
5.模糊逻辑可用于人工智能
6.布尔搜索、逻辑搜索
7.逻辑谜题，逻辑推理迷题：泥巴孩子谜题、
8.永真式（重言式）、矛盾式、可能式
9.如果p和q的双向蕴含是永真式，则复合命题q和p称为逻辑等价的
10.感觉这本书写的真的非常平易近人而且凝练，经典就是经典
11.p21例10 n皇后问题，p22例11 数独问题稍后再议
12.在正常的使用中，经常用来同一个字母表示受不同量词约束的变量，只要作用域不重叠。
13.全称量词对于合取式可分配，对于析取式不可分配。存在量词相反
14.直接证明、反证法、空证明，平凡证明
网友评论