关于数理逻辑的几点辨析  

作　　者：玉强[1] 

机构地区：[1]衡水学院数学与计算机学院,河北衡水053000

出　　处：《福建电脑》2010年第9期34-34,73,共2页Journal of Fujian Computer

基　　金：衡水市教育科学研究"十一五"规划课题(0906221)

摘　　要：数理逻辑的大量方法已运用于计算机软件的理论研究中,本文主要讨论了数理逻辑中容易出错的三种情况,并对这三种情况分别给出了具体的实例分析,以期学生能够准确的掌握。

关 键 词：数理逻辑 逻辑关联词 命题 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]