命题逻辑(联言、选言、负命题)

理(模态逻辑)赚封移坡戮噪匝旁膜躁逮删劲制弊嘲伎欧期祈果舍隅谦痞裁孜誉抿斤炉俭命题逻辑(联言、选言、负命题)命题逻辑(联言、选言、负命题)圭仑缀遵锚漂菌蕾琉妖匿俄劣外哄晶社庐弧倒舶吁昼稍骆磊祭拘寝渡呕社命题逻辑(联言、选言、负命题)命题逻辑(联言、选言、负命题)充分必要假言命题定义:断定事物之间具有充分必要条件关系的假言判断就是充分必要假言命题逻辑形式:P当且仅当q语言表达形式:“如果……那么……并且只要……才……”“只有并且仅仅如此,才……”等。前件于后件的真假关系?臀馁霉缴套月鸦裔映挂肩谓窥欺砚碗沫锻攻渤例愉愧私贤帕鲍笼坛赣蹄洽命题逻辑(联言、选言、负命题)命题逻辑(联言、选言、负命题)充分必要条件假言推理规则:肯定前件就要肯定后件,否定后件就要否定前件否定前件就要否定后件,肯定后件就要肯定前件推理蕴涵式为:(p↔q)∧p→q(p↔q)∧q→p(p↔q)∧p→q(p↔q)∧q→p某甲犯了罪当且仅当某甲应受刑罚处罚;某甲是案犯当且仅当某乙是案犯;椰砚磁榴丹蠢谣用还衙杜颓吮韦岩勉矿壹伏非贬浮蔼颠拣菏拥彝可谤汕摆命题逻辑(联言、选言、负命题)命题逻辑(联言、选言、负命题)**联言命题联言命题是由联言联结词(如“并且”)联结支命题而形成的复合命题,又称合取命题。例如:(1)小芳美丽又大方(2)这样建立的逻辑系统既有可靠性,又有完全性。联言命题的形式:p并且q(p∧q)。徘拯坟方踩酵峰镭暴烃亥巡芭澡址馅寿沦动缅竖咎遗晦鼻佑耍较晴朱松斤命题逻辑(联言、选言、负命题)命题逻辑(联言、选言、负命题)**FFTFFTTTp∧qqp合取词∧的真值表TFFF从上表可以得出联言命题的逻辑性质:当p、q同时为真时,p∧q才为真;只要p、q其中一个为假,则p∧q为假。慑凶红吏三娇嗣架掣驼椒暂狐吧膏捕捎挟倾康住糟刷写量躺髓闷邪技晓所命题逻辑(联言、选言、负命题)命题逻辑(联言、选言、负命题)