【摘要】:通过真值表技术把一个命题演算的合式公式化成主析取(主合取)范式在数理逻辑教学中是比较抽象的内容,如果把握住小项的编码的性质,这个问题就比较容易理解.本文论述了小项的几个重要性质和编码,在教学实践中收到了较好的教学效果.
下载App查看全文

【相似文献】
中国期刊全文数据库前10条
中国重要会议论文全文数据库前10条
1黎凯武;;倾斜分点大潮特征图像和特征参数[A];1999年中国地球物理学会年刊——中国地球物理学会第十五届年会论文集[C];1999年
2黄卫星;;三段论规则的符号化[A];1996年逻辑研究专辑[C];1996年
3陈树桢;;完善三段论的第一格(反常式 原还)第四格?[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年
4文海鸿;张利芳;;亚里士多德的特称和不定称刍议[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年
5郑彩娥;张荀芳;林伟;蒋小毛;潘克勤;缪丽华;丁燕萍;;康复护理ADL评定量表的设计[A];继往开来 与时俱进——2003年康复医学发展论坛暨庆祝中国康复医学会成立20周年学术大会论文集[C];2003年
6张珺;李盛丽;;2008年残疾人奥运会奖牌战略探讨[A];残疾人体育研究——首届全国残疾人体育科学学术会议论文选编[C];2004年
7杜虹;;涉密信息系统安全风险评估的探讨[A];中国信息协会信息安全专业委员会年会文集[C];2004年
8李丹;许志强;;后期康复对脑损伤患者废用及误用综合症的影响[A];中国康复医学会第九届全国脑血管病康复学术会议论文汇编[C];2005年
9林明;张伟民;夏晓华;楼滨;陈瑜;;2002年-2004年浙江省乙肝病毒血清标志物室间质量评价结果分析[A];第四届全国临床检验学术会议论文汇编[C];2006年
10朱志强;;论冬季奥林匹克运动的产生与发展[A];首届中国体育博士高层论坛论文集[C];2006年
中国硕士学位论文全文数据库前5条
1范全润;事务数据的多隶属聚类问题研究[D];西北大学;2003年
2胡小兵;采油厂自动计量改造项目后评价[D];西南石油学院;2004年
3孙志强;中国地方政府门户网站测评的研究[D];清华大学;2004年
4孟红桃;学生听力学习策略多维研究[D];广西师范大学;2005年
中国重要报纸全文数据库前10条
1本报记者 周文丽 吴东;中国体育挺进悉尼[N];北京日报;2000年
2本报记者 牛虹;奥运赛场秋点兵[N];中国质量报;2000年
3本报特派记者 林永龙;世界体坛格局发生新变化 中国选手赛出风格和水平[N];福建日报;2000年
4记者 刘颖余;北京大运会筹备工作赢得赞誉[N];工人日报;2000年
5本报记者 王珂 本报通讯员 李涛;小台账推动大管理[N];河南日报;2000年
6本报记者 郑源镐;出征悉尼前的三大话题[N];解放日报;2000年
7刘卫国;新疆社会保障资金使用安全[N];中国纪检监察报;2000年
8任可;悉尼不是亚特兰大[N];经济日报;2000年
9记者 贾晓惠;中国参加第十一届残疾人奥运会阵容空前[N];科技日报;2000年
10王朝烈 本报记者 戴立;竞技项目创新高 群体活动硕果丰[N];辽宁日报;2000年