离散数学教程-王元元-第1章 逻辑代数（上）：命题演算.pptVIP

离散数学 第1章 逻辑代数（上）：命题演算 第1章 逻辑代数（上）：命题演算 1.1.1 逻辑联结词 例1.1 （1）雪不是白的（并非雪是白的）。 （2）今晚我去商店或者去打球。 （3）我看完了书，并且做完了作业。 （4）他去了学校，又去了工厂。 （5）你织布，我耕田。（逗号也是一种连接） （6）如果我有钱，那么我替你付学费。 （7）偶数a是质数，当且仅当a=2（a是常数）。 1.1.1 逻辑联结词 否定词：“并非”，用符号 ?（或~）表示。 设 p 表示一命题，那么 ?p 表示命题 p 的否定。 p真时?p假，而p假时?p真。 1.1.1 逻辑联结词 合取词：“并且”，用符号∧表示。 设p，q表示两命题，那么p∧q表示合取p和q所得的命题，即p 和q同时为真时p∧q真，否则p∧q为假。 1.1.1 逻辑联结词 析取词：“或”，用符号∨表示。 设p，q表示两命题，那么p∨q表示p和q的析取，即当p和q有 一为真时，p∨q为真，只有当p和q均假时p∨q为假。 1.1.1 逻辑联结词 “不可兼或”，用符号 表示。 当p和q都为真时p q却为假。 1.1.1 逻辑联结词 蕴涵词：“如果…，那么…