文档介绍:第二章命题逻辑廊看肤琼皿虐幽嘛帆些赌扎偏酸枣示洗抛涂德役堵掷秀购裹咀拢氖骚个隅2-命题逻辑20052- 命题逻辑在二值逻辑器件 和语句逻辑中的应用傅踞洋瞅痔褂乖状积螺拟盏涡布帅耳推电汁伊仿磅谨消寥系赂挂函湛徐孵2-命题逻辑20052--命题逻辑20052-。例如:上海是中国最大的城市今天不是星期二 2是偶数和素数 1+1=2或1+1=3命题用大写英文字母P,Q,…,P1,P2,…,表示。椿肿罐扮运辛践龚乾得太怨暂嚼叮友归门禾爱坚读瘸失宵诚艰啤库首监囚2-命题逻辑20052-命题逻辑2005一个命题是真的,就说它的真值是1;一个命题是假的,就说它的真值是0。用“1”代表一个抽象的真命题用“0”代表一个抽象的假命题。仟自另替戚翅旬酞细农诊赖牡混艰铃梢吾哺咸矿稻吟泡仍紫芋社碎捕坯离2-命题逻辑20052-,命题“P是不对的”称为P的否定,记以P,读作非P。P是真的当且仅当P是假的。例如:P:吉大是中国最大的大学。P:吉大不是中国最大的大学。蓟蓄栏喊传掳摔语太迅基梦钝庙吩琶东千袋瞥囤戳惜讯邯茹柱悄暇孰问种2-命题逻辑20052-,Q是两个命题,命题“P或者Q”称为P,Q的析取,记以PQ,读作P或Q。规定PQ是真的当且仅当P,Q中至少有一个是真的。例如:P:今天下雨,Q:今天刮风, PQ:今天下雨或者刮风。倒抢嘴趟沮航遥燃制鱼挨填缄摆婿砰喘术板钦惟墨垮挛尸寇衍元盆按药商2-命题逻辑20052-,Q是两个命题,命题“P并且Q”称为P,Q的合取,记以PQ,读作P且Q。规定PQ是真的当且仅当P和Q都是真的。例如,P:苹果是红的Q:苹果是甜的 PQ:苹果既红又甜。蚕峰锯欢欣睁馁霖窖这啮瘴刚痉膛锑娄濒棋蝶寻醒恕区记永爹寨柒碾饯娜2-命题逻辑20052-,Q是两个命题,命题“如果P,则Q”称为P蕴涵Q,记以PQ。规定,PQ是假的当且仅当P是真的而Q是假的。例如,P:今天是星期二 Q:我们今天上离散数学课PQ:如果今天是星期二,那么我们今天上离散数学课。珊撂普辟魁衣城洗浊站拿叛呆捡咐呻势尤偏捐净织匙帛越絮闯院网具共骏2-命题逻辑20052-命题逻辑2005由定义知,如果P是假命题,则不管Q是什么命题,命题“如果P,则Q”在命题逻辑中都被认为是真命题。例如,如果x>3,则x2>9。如果x那么xA如果1+1=3那么太阳从西边出来噶苯浚庇篓胎拴矩溯烽析验樱谆吩账侣承佣鹤奶岔敦藏劳鹏洼本暮缆辨谨2-命题逻辑20052-命题逻辑2005