请选择 进入手机版 | 继续访问电脑版

北京大学考研论坛|北京大学论坛

 找回密码
 5秒钟注册
搜索
热搜: 考研
查看: 253|回复: 0

2019人大哲学院801哲学综合逻辑学部分

[复制链接]
发表于 2019-1-22 19:45:29 | 显示全部楼层 |阅读模式
第一题:用欧拉图解决一个词项逻辑问题
第二题:翻译,使用真值表判断是否有效
第三题:1.用带等号的谓词语言给出一个公式,使得其满足当且仅当模型的论域中有3个元素;2.对当关系中的哪些关系默认了主项非空
第四题:1.证明否定和合取的真值函数完全性;2.在带等号和一个一元函数符号的语言中给出一个公式,使得其满足当且仅当论域中有无穷多个对象。
第五题:1.论述什么是公理系统;2.论述什么是元定理和内定理。
游客,如果您要查看本帖隐藏内容请回复
您需要登录后才可以回帖 登录 | 5秒钟注册

本版积分规则

QQ|小黑屋|手机版|Archiver|联系方式tel:13241623672(微信同号) 邮箱:2087422471@qq.com

GMT+8, 2020-8-12 10:51 , Processed in 0.213894 second(s), 15 queries .

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

快速回复 返回顶部 返回列表