第1章邏辑代数(上)命题演算.docVIP

第1章 逻辑代数（上）：命题演算 1.1 逻辑联结词与命题公式 1.1.1 逻辑联结词 否定词(negation)“并非”(not)，用符号 ? （或 ? ）表示。设p表示一命题，那么?p表示命题p的否定。当p真时?p假，而当p假时?p真。?p读作“并非p”或“非p”。用类似表1.1的真值表(truth table)规定联结词的意义。 表1.1 p ?p 0 1 1 0 合取词(conjunction)“并且”(and)，用符号∧表示。设p，q表示两命题，那么p∧q表示合取p和q所得的命题，即当p和q同时为真时p∧q真，否则p∧q为假。p∧q读作“p并且q”或“p且q”。合取词∧的意义和命题p∧q的真值状况可由表1.2来刻划。 表1.2 p q p∧q 0 0 1 1 0 1 0 1 0 0 0 1 析取词(disjunction)“或”(or)用符号∨表示。设p，q表示两命题，那么p∨q表示p和q的析取，即当p和q有一为真时，p∨q为真，只有当p和q均假时p∨q为假。p∨q读作“p或者q”，“p或q”。析取词∨的意义及复合命题p∨q的真值状况由表1.3描述。 表1.3 p q