资源描述
2019 初试真题回忆 2019 年中国人民大学逻辑学初试真题回忆 刚刚考完.六道题没有一道求前述范式或者是结构和解释感冒 也没有证明谓词逻辑的有效性发呆 但是传统逻辑和文字题考的占比好像越来越大了希望20 年的考生可以多注意一下！ 也希望自己可以攒攒人品！1 用欧拉图表示 并写出推导过程（1）S 真包含 P（2）要么 MEP，要么 SIP2 将两个命题化为真值形式，并画出真值表，根据真值表判断其有效性。3 （1）L 是一个含有等词的一阶语言，使用等词、真值联结词、量词写出一个句子，使其在恰好含有三个对象的论域中的解释为真。（2）用现代逻辑的角度来分析传统逻辑中哪些对当关系预设了主项的存在，并分析为什么。4 （ 1）证明否定和合取能够表示所有的真值函数（2）L 是一个含有等词的一阶语言，其中非逻辑符号只有一元函数符号，写出一个仅在论域是无限的解释中为真的句子。5 什么是公理系统？内定理和元定理的区别是什么？6 分析实质蕴含怪论
展开阅读全文