第六章模态命题及其推理一、指出下列命题各属何种模态命题，并用公式表示其命题形式。
1．教与学脱节，势必造成教学质量下降。
答：必然肯定命题。
其逻辑式为：必然p（或“s 必然是p”）。
2．谎言必然不能长久骗人。
答：必然否定命题。
其逻辑式为：必然非p（或“s 必然不是p”）3．火车必然比摩托车大。
答：必然肯定命题。
其逻辑式为：必然p。
4．他可能估计不到这件事的严重后果。
答：可能否定命题。
其逻辑式为：可能非p（◇¬p）5、月球昼夜温差的巨大变化必定导致无生物存在。
答：必然肯定命题。
其逻辑式为：必然p（□p）6、有错必纠，有反必肃。
答：必须联言命题。
其逻辑式为：必须p 并且必须q（○p∧○q）7．任何人不得利用宗教活动煽动群众闹事。
答:禁止肯定命题. 其逻辑式为：禁止p(Fp).8．满十八岁者不准参加选举。
答:禁止肯定命题. 其逻辑式为:禁止p(Fp).9．能够坦白交待、态度诚恳者，可以从轻处理。
答:允许肯定命题. 其逻辑式为:允许p(Pp).10．不准任何人以任何借口搞分裂国家的活动。
答：禁止选言命题。
其逻辑式为: 禁止p.二、指出下列各组模态命题间的逻辑关系：1．⑴月球运行于太阳和地球之间必然发生日食。
⑵月球运行于太阳和地球之间可能不发生日食。
答：①必然p，②可能非p，二者是“不同真、不同假”的矛盾关系。
2．⑴世界事务必定不会受一、两个大国操纵。
⑵世界事务可能不会受一、两个大国操纵。
答：①必然非p，②可能非p，二者是“可同真，可同假”的从属关系。
即：“必然非p”真，“可能非p”必真；“必然非p”假，“可能非p”可真可假，“可能非p”真，“必然非p”可真可假，“可能非p”假，“必然非p”必假。
3．⑴这个荒岛一定有人上去过。
⑵这个荒岛一定没有人上去过。
答：①必然p，②必然非p，二者是“不同真，可同假”的反对关系。
即断定其中一个真，另一个必假；断定其中一个假，另一个可真可假。
4．⑴证人不可以充当证据鉴定人。
谓词逻辑的语义逻辑学教案一、引言语义逻辑学是逻辑学的重要分支，它研究的是语言中词句的意义以及它们之间的关系。
在语义逻辑学中，谓词逻辑是一种重要的逻辑形式，它可以用于描述和分析自然语言中的句子结构和逻辑关系。
本教案将介绍谓词逻辑的基本概念、语义理论以及应用，并提供相应的教学活动。
二、谓词逻辑的基本概念1. 术语解释谓词：表达句子中某种属性或关系的词语，如“是”、“有”等。
宇词：描述个体对象的词语，如“猫”、“人”等。
谓词项：由宇词和谓词组成的结构，用于描述某个宇词与某个谓词的关系。
量词：用于对宇词或谓词项进行量化的词语，如“所有”、“存在”等。
2. 语义解释谓词逻辑中的谓词项可以被赋予具体的解释和意义，以便用于逻辑推理和证明。
比如，对于宇词“猫”和谓词“是”，谓词项“是猫”可以理解为“存在某只猫”。
三、语义理论1. 逻辑语义逻辑语义是对谓词逻辑中的词语和句子进行解释和赋予意义的理论。
在逻辑语义中，需要解释的主要概念包括宇词、谓词、谓词项以及量词等。
通过逻辑语义的分析，可以理清句子间的逻辑关系和语义关系。
2. 谓词逻辑的公理系统在谓词逻辑的语义理论中，公理系统起到了重要的作用。
公理是作为论证的起点和基础，它们是不需要证明的前提条件。
一个完备的公理系统应该能够涵盖所有可能的推理结果，并且不产生矛盾。
四、教学活动1. 案例分析：谓词逻辑的应用让学生分析一些具体的案例，如“所有狗都是动物”和“有些鸟会飞”，并利用谓词逻辑的语义理论进行解析和推理。
2. 团队讨论：逻辑语义将学生分成小组，让每个小组选择一些句子进行逻辑语义的讨论。
要求学生解释句子中各个词语的意义，并分析它们之间的逻辑关系。
3. 比较研究：不同逻辑系统的比较引导学生对比谓词逻辑与其他逻辑系统（如命题逻辑、模态逻辑）之间的差异，并讨论其优缺点及应用领域。
五、总结通过本教案的学习，学生们对谓词逻辑的基本概念、语义理论和应用有了初步的了解。
希望通过这些教学活动的开展，能够培养学生的逻辑思维和语义分析能力，为他们今后的学习和研究打下坚实的基础。
《普通逻辑》课程教学大纲课程名称：逻辑学课程编号：010132001总学时:24学分:1。
5适用对象:汉语言文学专业1。
课程性质：《普通逻辑》是汉语言文学专业本科生的专业限选课中的必修课。
其内容具有很强的理论抽象性，公式、符号、图、表颇多;同时又具有可操作性，处处都含有思维方法、演算技巧的应用。
本课程旨在使学生系统地了解和掌握普通逻辑的基本知识、基本原理和基本技能,进行逻辑思维训练，解决思维的实际问题，以提高思维的准确性和敏捷性，从而增强语言表达的逻辑力量，并且为进一步学习其他科学知识提供必要的逻辑工具.2。
教学目的：逻辑学是现代基础学科的重要门类，包括逻辑的应用、演绎逻辑、一般逻辑、归纳逻辑、方法论等。
通过本课程的学习，要使学生系统地理解和掌握普通逻辑学的基本概念、基本原理和推演技巧，提高思维的准确性和敏捷性,增强语言的表达能力和论辩能力，以及初步具有运用逻辑知识解决实际问题的能力，并为进一步学习其他专业知识提供必要的逻辑知识.3。
教学内容:教学内容与学时安排4.教学方式：开展多媒体教学和案例教学，大力采用互动、启发、探究、讨论、质疑、争论、搜集信息、自主学习等多种教学形式，鼓励学生参与课堂教学。
5。
课程考核方式：本课程为考查课。
期末占总成绩的80%，平时作业、小测验占总成绩的20％。
6。
教材与教学参考书目：教材：普通逻辑编写组。
《普通逻辑》（第五版）。
上海：上海人民出版社。
2010。
主要参考书目：［1] 吴家国主编《普通逻辑》，上海人民出版社，1993.4。
［2] 何向东主编.《逻辑学教程》。
北京：高等教育出版社.1999年8月。
[3］刘新友,田宏第主编《普通逻辑自学导引》,高等教育出版社,1991。
9.［4］何应灿主编《怎样提高逻辑思维能力》,华东师范大学出版社,1995.3.[5］中国人民大学哲学系逻辑教研室编《逻辑学》，中国人民大学出版社，2003。
7。
［6］王海传等编著.《逻辑学》。
