手机知网 App
24小时专家级知识服务
打 开
数学
一阶逻辑推理系统F下量词的性质及运算规律
量词在一阶逻辑推理中起着重要作用,然而它的性质及运算规律比较繁杂,关于它的一些等值式和蕴涵式不能像在命题逻辑中那样用真值表来验证,本文将给出一系列的论证.
领 域:
数学
关键词:
格 式:
PDF原版;EPUB自适应版(需下载客户端)
1 145
手机阅读本文
下载APP 手机查看本文
河北大学学报(自然科学版)
2008年01期
相似文献
相关工具书
图书推荐

搜 索