演绎逻辑的真值语义和直观推理语义
发布时间：2017-11-03 04:36
本文关键词：演绎逻辑的真值语义和直观推理语义
【摘要】：真值语义将逻辑联结词都解释为真值联结词,是一种简明的外延形式语义。真值语义面临的主要问题是:逻辑联结词→、，
本文编号：1134699
本文链接：https://www.wllwen.com/shekelunwen/ljx/1134699.html
Copyright(c)文论论文网All Rights Reserved | 网站地图 |
版权申明：资料由用户76c10***提供，本站仅收录摘要或目录，作者需要删除请E-mail邮箱bigeng88@qq.com