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

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

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

人大逻辑学2019初试真题

[复制链接]
发表于 2019-2-10 10:54:27 | 显示全部楼层 |阅读模式
刚刚考完..六道题没有一道求前述范式或者是结构和解释[感冒] 也没有证明谓词逻辑的有效性[发呆] 但是传统逻辑和文字题考的占比好像越来越大了…希望20年的考生可以多注意一下! 也希望自己可以攒攒人品!

1 用欧拉图表示 并写出推导过程
(1)S真包含P
(2)要么MEP,要么SIP
2 将两个命题化为真值形式,并画出真值表,根据真值表判断其有效性。
3 (1)L是一个含有等词的一阶语言,使用等词、真值联结词、量词写出一个句子,使其在恰好含有三个对象的论域中的解释为真。
   (2)用现代逻辑的角度来分析传统逻辑中哪些对当关系预设了主项的存在,并分析为什么。
4 (1)证明否定和合取能够表示所有的真值函数
   (2)L是一个含有等词的一阶语言,其中非逻辑符号只有一元函数符号,写出一个仅在论域是无限的解释中为真的句子。
5  什么是公理系统?内定理和元定理的区别是什么?
游客,如果您要查看本帖隐藏内容请回复
您需要登录后才可以回帖 登录 | 5秒钟注册

本版积分规则

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

GMT+8, 2020-8-12 11:49 , Processed in 0.243642 second(s), 15 queries .

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

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