论文部分内容阅读
通过真值表技术把一个命题演算的合式公式化成主析取(主合取)范式在数理逻辑教学中是比较抽象的内容,如果把握住小项的编码的性质,这个问题就比较容易理解.本文论述了小项的几个重要性质和编码,在教学实践中收到了较好的教学效果.
小项的性质与小项的编码
【摘 要】
：
通过真值表技术把一个命题演算的合式公式化成主析取(主合取)范式在数理逻辑教学中是比较抽象的内容,如果把握住小项的编码的性质,这个问题就比较容易理解.本文论述了小项的
【机 构】
：
赣南师范学院,江西师范大学
【出 处】
：
赣南师范学院学报
【发表日期】
：
2002年6期
其他文献
汉语中的外来词语呈现泛滥的态势,在具体运用中存在着不少问题.主要原因是受到西方和港、澳、台地区的影响.应遵循柔性规范原则,从译借方式和所指类型两个方面做好外来词语的
<正> 明代做过都察院长官的王廷相,在一次接见新任御史张瀚时说,我昨天乘轿进城遏雨,一个穿了双新鞋的轿夫,开始很小心地循着干燥的地方落脚,生怕并脏了鞋,后来一不小心踩在
以‘矮化梨’（Pyrus communis L．）与‘茌梨’（Pyrus bretschneideri Rehd．）的杂交后代共111个单株为试材，采用分离群体分组分析法（bulked segregate analysis，BSA），通过对412个随机引物
金坪矮垂栗是从普通实生板栗中选出的变异类型,其自交后代出现直立和垂枝性状的分离近似3：1,直立性与垂枝性呈显、隐性基因关系。金坪矮垂栗自然授粉有性后代矮化性仍有保存,
以党的十六大召开为标志，2002年是我们党和国家历史上具有重大意义的一年。我国的经济建设和社会发展任务艰巨繁重，既有很多机遇，又有严峻挑战。加入世界贸易组织，我国的对外开放
通过梳理马克思的虚拟资本理论,剖析了国际金融动荡的深层次原因是虚拟经济与实体经济的严重背离.并认为虚拟经济具有两面性;实体经济是一国经济的基础;金融深化须稳步推进.
移动计算机通信网络是通信技术在计算机网络中充分应用的成果.它以固定有线的计算机网络为基础,充分应用通信技术进行改造来实现计算机的移动通信,最终建立移动计算机通信网
法官违纪代写诉状，贪婪原告自填裁定书；国企职工苦寻真相，人民检察官终于拨开迷雾。经过长达6年的艰苦努力，广东省茂名市水电建筑安装工程集团公司(下称水电公司)总经理李雄杰及
指出通过硅光电池测电流以验证马吕斯定律这一传统实验手段的不足之处,并提出引入CCD测试系统验证马吕斯定律的更为有效可行的方法.