人大逻辑学2019初试真题

admin

刚刚考完..六道题没有一道求前述范式或者是结构和解释[感冒] 也没有证明谓词逻辑的有效性[发呆] 但是传统逻辑和文字题考的占比好像越来越大了…希望20年的考生可以多注意一下！ 也希望自己可以攒攒人品！

1 用欧拉图表示 并写出推导过程
（1）S真包含P
（2）要么MEP，要么SIP
2 将两个命题化为真值形式，并画出真值表，根据真值表判断其有效性。
3 （1）L是一个含有等词的一阶语言，使用等词、真值联结词、量词写出一个句子，使其在恰好含有三个对象的论域中的解释为真。
   （2）用现代逻辑的角度来分析传统逻辑中哪些对当关系预设了主项的存在，并分析为什么。
4 （1）证明否定和合取能够表示所有的真值函数
   （2）L是一个含有等词的一阶语言，其中非逻辑符号只有一元函数符号，写出一个仅在论域是无限的解释中为真的句子。
5  什么是公理系统？内定理和元定理的区别是什么？

游客，如果您要查看本帖隐藏内容请回复