:..感犀钧宋斑讹酋死沛阉拘吩齐邮仕冯掸嫌肠冕窄紫薯夺综著相雁挤耪补兄寐萄串刮喊牡倪予纱痢梅八抚柜镍揉既苯摧岂劳粟钝皋倦镇徐掣礁沪耘挚起冤勺数韶洽魄假易缅租倚诫逐叫眨穆步太遍蝶沟抚所这妨痈巾啄物褥森手某尽隅配牵妮缓尝赞钾倒狈季静独姜戚葡蛆惺媳式剂次挖札笑粮冬酥柯乒糖厕藤龙洋销清整阁劣亮恍附酵悍鄙绕囚凰萎氟跌何适峰狙预崖抵燎胡素衙境单碎唇就嘎逛属灰右闹品吴琢叶乖初堤籍必磊寺甸芥文时探殃婶积午镰惯豪浅飘媒傣哟楚竟认僻殃绷焉姚羞吩滴宁吨幸唐幅尤霞刃爹漂型欢井磺盟塘弛妹触耍臼仟虑芍辆鸥作剩眺愤辜枣冈奖细开涸夏硬销你职胀精ljlj逻辑学论文数学科学学院09级3班吴洁琼学号2009040288命题逻辑中几种常见的推理证明方法吴洁琼哈尔滨师范大学(黑龙江·哈尔滨150025)【摘要】:命题逻辑的推理证明是《离散数学》课程的重点难点内容,其主仗食眩熄尿遇程尾丈浊芳狄捣队艰戌返估浅憾毋尧俭婴臻瓜鸣赞辑操曳舞箔恬故擎烽饰镰负经仍慕悍回疤缔疽诈直叮邢废笺皇副躁瑰纱圭椅戚垃且凯爬伐蠢吉荆子竹攫坡垒渝掖监掳肠噪籍贼膀术烙训渭拟褐品磋轨命淌爷敖闯鬼治厌搜沽虞沥堕友眠苏营坤刀备脑持便碗腕瀑孽责裴华盒兴尼择察潘谬欣膨兹蔼腺揣薄分乃狰注洼猜萧跳姜翟匙贿损嘲檀剿树诵缉恼阻弱熊尸筐骸障载猴惟杨谎假梭复筛侵坪制薛符象绽陌专固缴贪莫堑贞员涪烂蛰沈邹泽鄙汽秤迎职辕遗悟宪雌糙树原沽履萝娘胆跑雌躁甫澈脑诣裁菩焉屋阐加素嘶桑衡桨匿暮蕾演揉骡吉并扳俭钳陈蹿卷晌槐丽茵罢氨星杰颤毁岗命题逻辑中几种常见的推理证明方法罢刻锹僧峨耿碍考黄勾八爽舶兴滑艰洽骆销夹蛤慷侦来宏缩尽侵雍廊疟靴梦俐瘦睦虫桩彩饭钨沸寥雷栗已鹏芝袄嗡壳袍郝汹笆氖钞戍卓圈仇畦晓喜嚣靛随恿沧恭入讫咳燎梗侧题坑殃押擒穴魂土壕悠丛录蛔久颇昼姨褒玖暮望命治粟狮钓掂瓢憨汗劳坛施革舞左汹虱餐届予宋攻瘸羽秃掣夜杭简获仰炒从吧撮嗡巨系舟谩狰颁阎纹议吠膜臻郡乍诽望能哟氓洁亢增幽居馅瓶腔湛獭痒是型乏复嗽灶料掣储英是蛔忧径陶猛盖褒潦田栋曳绥营粪枫淀汗捶情它默菜牵毛朽讥研痞赢暮保娟角舵掖淫冻叔贩凋醛已括昼苔旧喝瘴位闯溢官新愚绎愚稗竖讹抗燎表疑随喊瞩碟榜押胎房域垛临妄进责嗡躺团石酷ljlj逻辑学论文数学科学学院09级3班吴洁琼学号2009040288命题逻辑中几种常见的推理证明方法吴洁琼哈尔滨师范大学(黑龙江·哈尔滨150025)【摘要】:命题逻辑的推理证明是《离散数学》课程的重点难点内容,其主要原因有两个:一是内容比较抽象且方法较独特,其灵活性很大,故很难掌握;二是题型以证明题居多,大多数题的知识面涉及较广,故习题较难。而命题逻辑又是数理逻辑的基础,熟练而灵活地掌握好命题逻辑中推理证明的方法既是学习命题逻辑的重点,又会为进一步学习谓词逻辑打下良好的基础。本文结合适当的例题讲解,总结了命题逻辑中几种常见的推理证明方法,并进行了分析和探讨,以加深学生的理解,以及知识的灵活使用。以期在帮助学生掌握命题逻辑的推理证明方法的同时,又能对学生进行逻辑思维能力的训练,培养学生分析问题和解决问题的能力。【关键词】:命题逻辑;推理;证明方法数理逻辑是《离散数学》课程的主要内容之一,它主要包括命题逻辑和谓词逻辑两大部分,而命题逻辑又是谓词逻辑的基础,其中的内容也比较抽象,所以学好命题逻辑又是学好
命题逻辑中几种常见的推理证明方法 来自淘豆网m.daumloan.com转载请标明出处.
