文档库 最新最全的文档下载
当前位置:文档库 › §11.4逻辑式与真值表

§11.4逻辑式与真值表

§11.4逻辑式与真值表
§11.4逻辑式与真值表

南通工贸技师学院

教案首页

课题:§11.4 逻辑式与真值表

教学目的要求:

了解逻辑式的定义及其对应的真值表的概念,能够进行逻辑式与真值表的互化.

教学重点、难点: 逻辑式的运算及逻辑式对应的真值表、逻辑式与真值表的互化授课方法:任务驱动法小组合作学习法

教学参考及教具(含多媒体教学设备):《单招教学大纲》

授课执行情况及分析:

板书设计或授课提纲

或运算”,有括号的逻辑式,先进行括号内的运算;

(1)明确逻辑变量的个数

11+?+ ()0101+?+? )()11000?+?+;()()

1101+++)C B A ;)BC A C AB +法.由常量1和0以及逻辑变量经过逻辑运算构成的式子叫 ;逻辑式对应的真值表就是将 的各种可能的取值和相对应的 排列在一起而组成的表格;一般地,有n 个输入变量的逻辑函数,就应该有 种不同的输入变量的取值组

逻辑式与真值表1

11.4 逻辑式与真值表1 【预习】第三册课本第17至18页内容. 【预习目标】了解逻辑式的定义及真值表的概念. 【导引】 1.逻辑代数式:由常量1,0以及逻辑变量经逻辑运算构成的式子,简称逻辑式. 2.逻辑式真值表:用表格的形式列出逻辑变量的一切可能值与相应的逻辑式的值的表. 3.逻辑变量只能取0或1,所得逻辑式的值也只有0或1. 4.逻辑运算的次序依次为“非运算”“与运算”“或运算”,如果有添加括号的逻辑式,首先要进行括号内的运算. 【试试看】 1.当00AB =时,逻辑式B A AB F +=的值为 . 2.使逻辑式F AB CD =+的值为1的变量组合取值有 ( ) A .1100ABCD = B .0101ABCD = C .1010ABC D = D .0010ABCD = 【本课目标】了解逻辑式的定义及其对应的真值表的概念,能够进行逻辑式与真值表的互化. 【重点】逻辑式的运算及逻辑式对应的真值表. 【难点】逻辑式与真值表的互化. 【导学】 任务1 理解逻辑式的定义,学会求逻辑式的运算结果. 【例1】写出下列各式的运算结果. (1)011?+ ;(2)001++ ;(3)0101?+? ;(4)0111++? .

【试金石】写出下列各式的运算结果. (1)101?+ ; (2)()101?+ ; (3)()0100+?+ ; (4)0100?++ . 任务2 会根据给定的逻辑式写出其对应的真值表. 【例2】列出逻辑式C A B A +的真值表. 【试金石】列出逻辑式AB B A ++的真值表. 【检测】 1. 写出下列各式的运算结果. (1)101+? ; (2)001000++?+? . 2. 列出逻辑式A B AB ++的真值表.

逻辑学 习题参考答案

----一、填空: 1、形式逻辑是研究思维的形式及其规律的科学。 2、概念的内涵越多,则外延越小;内涵越少,则外延越大;这种关系叫反变关系。 3、概念的矛盾关系是指a、b两概念的外延没有任何部分重合,其外延之和等于其属概念的外延。如金属和非金属。 4、定义是揭示概念内涵的逻辑方法,划分是揭示概念外延的逻辑方法。 5、当O判断为真时,同素材的判断A 假;E真假不定;I 真假不定。 6、当O判断为假时,同素材的判断A真;E 假;I 真。 7、当A判断为真时,同素材的判断E 假;O为假;I 真。 8、当A判断为真时,同素材的判断E 假;O为假;I 真。 9、关系判断由关系者项、关系项和量项三部分组成。 10、在模态判断中,必然p和可能p之间是差等关系;必然非p与可能p之间是矛盾关系。 11、在“有S不是P”中,逻辑变项是S,P;逻辑常项是有……不是。 12、一个判断的主项周延,则这个判断是全称判断;一个判断的谓项周延,则这个判断是否定判断。 13、若p∨q为真,p为真,则q取值为真假不定;若q为真,则p的取值为真。 14、若一有效三段论的结论为全称肯定判断,则其大前提应为全称肯定判断,小前提应为全称肯定判断。 25、矛盾律的要求是:在同一思维过程中,对于具有上反对和矛盾关系的判断,不应该承认它们都是真的。 26、排中律的要求是:在同一思维过程中,对于具有下反对和矛盾关系的判断,不应该承认它们都是假的。 27、若一有效三段论,其小前提为特称否定判断,则其大前提应为全称肯定判断,结论应为特称否定判断。 28、若一有效三段论,其大前提为MIP,则其小前提应为MAS,结论应为SIP。 28、思维的逻辑规律包括同一律、矛盾律、排中律和充足理由律。 29若p→q为真,则当p为真时,q的取值为真;当p为假时,q的取值为可真可假。 30、三段论第一格的特殊规则是:(1)小前提必须是肯定判断、大前提必须是全称判断。 31、复合判断包括联言判断、选言判断、假言判断和负判断等形式。 32、“只有请外国人当教练,中国足球才能走向世界。”这一判断的负判断的等值判断为就 算沒有请外国人当教练,中国足球也能走向世界。用符号表示为p∧ q。(看不清负号在 哪) 33、“我班同学都是南方来的。因此,南方来的都是我班同学。”上述推理违背了换位法推理中前提中不周延的项,结论里也不得周延的规则。正确的推理应为我班同学都是南方来的。因此,有些南方来的是我班同学。 34、在充分条件的假言判断中,前件真则后件真,前件假则后件假。 35、“只有多喝水,才能减肥”。上述假言判断的负判断是并非只有多喝水,才能减肥,用符号表示为 p←q 。 36、根据概念外延之间重合情况,可以将概念间的关系分为全同关系、真包含关系、真包含于关系、交叉关系和全异关系。 37、“苹果就是长在树上的水果”,这一定义犯了定义过宽的规则,“文学可分为戏剧、散

八种常用逻辑门的实用知识(逻辑表达式、逻辑符号、真值表、逻辑运算规则)

名 称 逻 辑 表 达 式 逻 辑 符 号 真 值 表 逻辑运算规则 与 门 AB F = A 0 0 1 1 0 1 0 1 有0得0 全1得1 B F 0 0 0 1 或 门 B A F += A 0 0 1 1 0 1 0 1 有1得1 全0得0 B F 0 1 1 1 非 门 A F = A 0 1 有0得1 有1得0 F 1 0 与 非 门 AB F = A 0 0 1 1 0 1 0 1 有0得1 全1得0 B F 1 1 1 0

或 非 门 B A F += A 0 0 1 1 0 1 0 1 有1得0 全0得1 B F 1 0 0 0 与 或 非 门 CD AB F += A 0 0 (1) 0 0 (1) 0 0 … 1 0 1 (1) AB 或CD 有一组或两组全是 1结果得0 其余输出全得1 B C D F 1 1 0 异 或 门 B A F ⊕= B A B A += A 0 0 1 1 0 1 0 1 不同得1 相同得0 B F 0 1 1 0

同或门A F=⊙B AB B A+ =A0 0 1 1 0 1 0 1 不同得0 相同得1 B F 1 0 0 1 色环电阻的表示 颜 色 黑棕红橙黄绿蓝紫灰白金银无 有 效 数 字 0123456789-1-2-3 乘 数 10010110210310410510610710810910-110-2 精确度±1 ﹪ ±2 ﹪ ±﹪± ﹪ ± ﹪ ±5 ﹪ ± 10 ﹪ ± 20 ﹪ 注:四色环电阻:1、2环表示是有效数照写,3环表示是乘数(就是要乘与这个乘数),4环表示是精确度。五色环电阻:1、2、3环表示是有效数照写,4环表示是乘数(就是要乘与这个乘数),5环表示是精确度。

逻辑学基本内容

逻辑学 第二章性质命题 一性质命题的四种形式 1 全称肯定判断 形式:所有S是P,写作SAP,简称A判断 2 全称否定判断 形式:所有S不是P,写作SEP 简称E判断 3 特称肯定判断 形式:有些S是P,写作SIP,简称I判断。 4 特称否定判断 形式:有些S不是P,写作SOP ,简称O判断 三词项的周延性:主谓项概念外延数量的断定情况 1、周延性是对主谓项外延情况的形式断定,而非实际存在情况的断定。单称命题的 周延性与全称命题同。 2 、“是”P 则P不周延,“不是P”,则P周延 主词相同和谓词相同称同素材性质命题。 同素材性质命题的全称肯定命题、全称否定命题、特称肯定命题和特称否定命题之间存在着某种真假关系,这种关系亦称对当关系。 二同素材性质命题的逻辑方阵 刻画“对当关系”的图示,俗称“逻辑方阵”,逻辑方阵假词主词对象是存在的。 四性质命题的变形推理 1 换质法:换质不换位,谓项正负反 换位法:换位不换质,主谓莫扩展 是通过调换主谓词项的位置得到一新命题。换位不改变命题的质。 根据源命题和换位命题的量项是否相同可把换位法区分为单纯换位和限量换位两种。 1 单纯换位:换位命题和原命题的量项相同的换位法,为单纯换位 (1)所有S不是P 换位所有P不是S SEP PES (2)有的S是P, 换位:有的P是S SIP PIS 2 限量换位:改变原命题的量的换位法 (1)所有S是P,换位:有的P是S SAP PIS (2)SAP PAS (3)SOP命题不能换位 SOP POS 3 换质位法:先换质后换位,也可先换位后换质 有的S是P,换质为有的S不是非P ,这SOP 不能换位 换位法是演绎推理,演绎推理的特点是若前提是真的,推出的结论也应该是真的。

基本逻辑关系和常用逻辑门电路

第2章 基本逻辑关系和常用逻辑门电路 通常,把反映“条件”和“结果”之间的关系称为逻辑关系。如果以电路的输入信号反映“条件”,以输出信号反映“结果”,此时电路输入、输出之间也就存在确定的逻辑关系。数字电路就是实现特定逻辑关系的电路,因此,又称为逻辑电路。逻辑电路的基本单元是逻辑门,它们反映了基本的逻辑关系。 2.1 基本逻辑关系和逻辑门 2.1.1 基本逻辑关系和逻辑门 逻辑电路中用到的基本逻辑关系有与逻辑、或逻辑和非逻辑,相应的逻辑门为与门、或门及非门。 一、与逻辑及与门 与逻辑指的是:只有当决定某一事件的全部条件都具备之后,该事件才发生,否则就不发生的一种因果关系。 如图2.1.1所示电路,只有当开关A 与B 全部闭合时,灯泡Y 才亮;若开关A 或B 其中有一个不闭合,灯泡Y就不亮。 这种因果关系就是与逻辑关系,可表示为Y =A ?B ,读作“A 与B”。在逻辑运算中,与逻辑称为逻辑乘。 与门是指能够实现与逻辑关系的门电路。与门具有两个或多个输入端,一个输出端。其逻辑符号如图2.1.2所示,为简便计,输入端只用A 和B 两个变量来表示。 与门的输出和输入之间的逻辑关系用逻辑表达式表示为: Y =A ?B =AB 两输入端与门的真值表如表2.1.1所示。波形图如图2.1.3所示。 表2.1.1 与门真值表 (a )常用符号 (b )国标符号

由此可见,与门的逻辑功能是,输入全部为高电平时,输出才是高电平,否则为低电平。 二、或逻辑及或门 或逻辑指的是:在决定某事件的诸条件中,只要有一个或一个以上的条件具备,该事件就会发生;当所有条件都不具备时,该事件才不发生的一种因果关系。 如图2.1.4所示电路,只要开关A 或B 其中任一个闭合,灯泡Y 就亮;A 、B 都不闭合,灯泡Y 才不亮。这种因果关系就是或逻辑关系。可表示为: Y =A +B 读作“A 或B”。在逻辑运算中或逻辑称为逻辑加。 或门是指能够实现或逻辑关系的门电路。或门具有两个或多个输入端,一个输出端。其逻辑符号如图 2.1.5所示。 或门的输出与输入之间的逻辑关系用逻辑表达式表示为: Y =A +B 两输入端或门电路的真值表和波形图分别如表2.1.2和图2.1.6所示。 图2.1.3 与门的波形图 表2.1.2 图2.1.4 或逻辑举例

逻辑学名词解释

逻辑学名词解释 1、概念:反映事物特有属性的思维形式。 单独概念:是指仅反映一个特定对象的概念,它的外延是一个独一无二的事物。 普遍概念:是指由若干个分子所组成的类的概念。它的外延包括许多的对象。 集合概念:把一类对象作为一个集合体来反映的概念。 非集合概念:不把一类对象作为一个集合体来放映的概念。 正概念:反映对象具有某种属性的概念。 负概念:反映对象不具有某种属性的概念。只有带否定词并使用其含义的,才是负概念。论域:指一个正概念与其相对的负概念所反映的对象组成的类。 定义:就是揭示概念内涵的逻辑方法。揭示概念所反映的事物的特有属性的方法。 划分:揭示概念外延的逻辑方法。就是将外延较大的属概念根据一定的标准,划分出若干个外延较小的概念,从而明确概念全部外延的逻辑方法。 概念的限制:通过增加概念的内涵,以减少概念的外延的逻辑方法。 即概念的限制就是从属概念过渡到种概念的逻辑方法。 概念的概括:通过减少概念的内涵,以扩大其外延的逻辑方法。 命题:陈述事物情况的思维形态。特征在于其真假性。命题有具体内容和逻辑形式,逻辑学不研究具体命题内容上真假,只研究命题形式真假性质和命题形式之间的真假关系。模态命题:就是包含“必然”等模态词的命题。 复合命题:就是包含其他命题的命题,包括联言命题、选言命题、假言命题和负命题。 简单命题:就是没有包含其他命题的命题,主要包括直言命题和关系命题。 推理:就是由一或若干个命题推出另一个命题的思维形态。 直言命题:就是陈述事物具有或不具有某种性质的命题。(性质命题) 肯定命题:就是陈述事物具有某种性质的命题。联项一般用“是”表示。 单称命题:就是陈述一个特定事物具有或不具有某种性质的命题。主项专有名词,不需量词。全称命题:陈述一类事物的全部分子都具有或不具有某种性质的命题。主项普遍概念,量省。特称命题:就是陈述一类事物中至少存在着一事物具有或不具有某种性质的命题。 主项普遍概念,量项不可省为“有的、有些” (其逻辑含义就是“有”即至少有一个,不排斥全部) 周延性:是直言命题主项与谓项在量的方面的逻辑特征,是直言命题形式中对主项或谓项的全部外延的陈述情况。在一个直言命题形式中,如果陈述了它的主项或谓项的全部 外延,那么其主项或谓项就是周延的。 直言直接推理:就是前提只有一个命题的直言推理。 A:全称肯定 E:全称否定 I:特称坑定 O:特称否定 反对关系:A与E之间的关系是:不能同真,得以同假。即,当一个真时,另一个必假; 当一个假时,另一个真假不定。 矛盾关系:AO、EI之间的关系是:既不能同真也不能同假。即,一个为真时,另一个必假; 当一个为假时,另一个必真。 等差关系:AI/EO之间的真假关系:全称真,特称必真;全称假,特称真假不定;特称假,全称必假;特称真,全称真假不定。 下反对关系:IO之间的真假关系:不能同假,可以同真。即当一个假时,另一个必真;当

基本逻辑关系和常用逻辑门电路

第2章 基本逻辑关系和常用逻辑门电路 通常,把反映条件”和结果”之间的关系称为逻辑关系。如果以电路的输入信号反映 条 件”以输出信号反映 结果”此时电路输入、输出之间也就存在确定的逻辑关系。数字电 路就是实现特定逻辑关系的电路, 因此,又称为逻辑电路。逻辑电路的基本单元是逻辑门, 它们反映了基本的逻辑关系。 2.1 基本逻辑关系和逻辑门 2.1.1 基本逻辑关系和逻辑门 逻辑电路中用到的基本逻辑关系有与逻辑、 或逻辑和非逻辑,相应的逻辑门为与门、 或 门及非门。 一、与逻辑及与门 与逻辑指的是:只有当决定某一事件的全部条件都具备之后, 该事件才发生,否则就不 发生的一种因果关系。 如图2.1.1所示电路,只有当开关 A 与B 全部闭合时,灯泡 Y 才亮;若开关 A 或B 其 中有一个不闭合,灯泡Y 就不亮。 这种因果关系就是与逻辑关系, 可表示为Y = A.B,读作A 与B ”在逻辑运算中,与逻 辑称为逻辑乘。 A — & —Y B ― ____ (b )国标符号 图2.1.1与逻辑举例 图2.1.2与逻辑符号 与门是指能够实现与逻辑关系的门电路。 与门具有两个或多个输入端, 一个输出端。其 逻辑符号如图2.1.2所示,为简便计,输入端只用 A 和 B 两个变量来表示。 与门的输出和输入之间的逻辑关系用逻辑表达式表示为: Y = A ?B = AB 两输入端与门的真值表如表 2.1.1所示。波形图如图2.1.3所示。 表2.1.1 与门真值表 A B Y 0 0 亠 1 0 亠 (a )常用符号 母—

图2.1.3与门的波形图由此可见,与 门的逻辑功能是,输入全部为高电平时,输出才是高电平,否则为低电平。 二、或逻辑及或门 或逻辑指的是:在决定某事件的诸条件中,只要有一个或一个以上的条件具备,该事件就会发生;当所有条件都不具备时,该事件才不发生的一种因果关系。 如图2.1.4所示电路,只要开关A或B其中任一个闭合,灯泡Y就亮;A、B都不闭合,灯泡Y才不亮。这种因果关系就是或逻辑关系。可表示为: Y= A+ B 读作A或B”在逻辑运算中或逻辑称为逻辑加。 崖禺>■:甘, 图2.1.4 或逻辑举例(a)常用符号(b)国标符号 图2.1.5或逻辑符号 或门是指能够实现或逻辑关系的门电路。或门具有两个或多个输入端,一个输出端。其 逻辑符号如图2.1.5所示。 或门的输出与输入之间的逻辑关系用逻辑表达式表示为: =A+ B 表2.1.2 两输入端或门电路的真值表和波形图分别如表 2.1.2和图2.1.6所示。

逻辑学习题集

逻辑学习题集 第一章绪论 思考题 1.普通逻辑的研究对象是什么? 2.学习逻辑学的意义何在? 第二章概念 练习 一、填空题 1.词项是反映思维对象_____的思维形式。 2.任何词项都有两个基本的逻辑特征:即_____和_____。 3.词项间的关系,是指词项在_____之间的关系。 4.词项内涵与外延间的反变关系是指,词项的内涵越_____则外延_____;词项的内涵越_____则外延越_____。 5. a、b两个词项。如果所有的a都是b,并且所有的b都是a,则a、b之间关系是_____。 6.给词项下定义最常用的方法叫______。 7.划分由三个要素构成,即_____、____和_____。 8.“虎”这一词项可以概括为_____,限制为_____。 9.概括是将一个_____词项推演到_____词项;限制是将一个_____词项推演到_____词项。 二、单项选择题 1.在“中国人是勤劳勇敢的”这一命题中“中国人”是()。 ① 集合词项②非集合词项 ③否定词项④属性词项。 2.词项与语词的关系是()。 ① 所有语词都表达词项 ② 所有语词都不表达词项 ③ 所有词项都要通过语词来表达 ④ 有的词项不通过语词来表达 3.如c词项是a、b两个词项的属词项,并且所有a不是b,a与b的外延之和等于c的外延,则a 与b之间的关系是()。 ① 交叉关系② 反对关系 ③ 矛盾关系④ 真包含于关系 4.在“有的逻辑学家是心理学家”这一命题中,“逻辑学家” 与“心理学家”在外延上具有()。 ① 全同关系② 全异关系 ③ 真包含关系④ 交叉关系 5.“历史上先后产生的国家有奴隶制国家、封建制国家、资本主义国家、社会主义国家。无论何种类型的国家,都是阶级专政的工具。”这里对“国家”这个词项是()来说明的。 ①仅从内涵方面②仅从外延方面 ③先从内涵再从外延④先从外延再从内涵 6.把“企业管理就是对企业进行管理”这句话作为定义,所犯的逻辑错误是()。 ① 定义过宽② 定义过窄 ③ 循环定义④ 同语反复 三、双项选择题

逻辑学 简单习题及答案

第三章 复合命题及推理 练习题 1 一、写出下列复合命题的形式。(每小题5分,共35分) 1.甲、乙、丙中至少有一个是上海人。 令:p表示“甲上海人” q表示“乙是上海人” r表示“丙是上海人” 原命题的形式是:p ∨q ∨r 或:﹁(﹁p∧﹁q∧﹁r) 2.甲、乙、丙并非都是上海人。 令:p表示“甲上海人” q表示“乙是上海人” r表示“丙是上海人” 原命题的形式是:﹁(p∧ q∧ r) 或:﹁p ∨﹁q ∨﹁r 3.明天我们或者去看电影,或者去看展览,要不然就去游泳。 令:p表示“我们明天去看电影” q表示“我们明天去看展览” r表示“我们明天去游泳” · 原命题的形式是:(p ∨q) r ∨ 4.请勿在场内吸烟、随地吐痰、乱扔杂物,违者罚款。 令:p表示:“在场内吸烟。” q表示:“在场内随地吐痰。” r表示:“在场内乱仍杂物。” s表示:“被罚款。” 原命题的形式是:p∨ q∨ r → s 5. 如果遭遇敌人,敌人势力小,就消灭它再走;敌人多,就一面抵抗,一面通过。 方法一:令:p表示:“遭遇敌人。” q表示:“敌人势力小。” r表示:“消灭敌人再走。” s表示:“敌人多。” t表示:“一面抵抗,一面通过。” 原命题的形式是:(p∧q→ s)∧(p∧s→ t) 方法二:令:p表示:“遭遇敌人。” q表示:“敌人势力小(敌人少)。” r表示:“消灭敌人再走。” t表示:“一面抵抗,一面通过。” 原命题的形式是:(p∧q→ s)∧(p∧﹁q→ t) 方法三:令:p表示:“遭遇敌人。” q表示:“敌人势力小。” r表示:“消灭敌人再走。” s表示:“敌人多。”

t表示:“抵抗” u表示:“通过” 原命题的形式是:(p∧q→ s)∧(p∧s→ t∧u) 6. 承认不懂,才能从不懂变懂;承认不会,才能从不会变会。 令:p表示:“承认不懂。” q表示:“从不懂变懂。” r表示:“承认不会。” s表示:“从不会变会。” 原命题的形式是:(p←q)∧( r←s) 7.要是不立即做手术,这伤员很快就会死亡;要是做手术而不输血,那也还是难免死亡。 令:p表示:“立即做手术。” q表示:“伤员会死亡。” r表示:“输血。” 原命题的形式是:(﹁p→q)∧(p∧﹁r→ q) 二、写出下列推理的形式,并判断其形式是否正确。若正确,说明其使用了什么规则;若不正确,请说明原因。(每小题8分,共40分) 1.要是这个降落的球不受外力影响,它就不会改变降落方向;它没有改变降落方向,因此,它一定没有受到外力影响。 令:p表示:“这个降落的球不受外力影响。” q表示:“这个球不改变方向。” 上述推理的形式是:p→ q,q ├ p 这个推理形式不正确,因为根据充分条件假言命题的逻辑特性,肯定后件,不能必然由此肯定前件。 2.他只有熟悉法律,才能当法官;他没能当法官,可见,他不熟悉法律。 令:p表示:“他熟悉法律。” q表示:“他当法官。” 上述推理的形式是:p← q,﹁q ├﹁p 这个推理形式不正确,因为根据必要条件假言命题的逻辑特性,否定后件,不能必然由此否定前件。 3.发明永动机只是天真的梦想。因为,如果真能发明永动机,那么,能量守恒定律就不起作用了;而该定律是正确的。 令:p表示:“能发明永动机。” q表示:“能量守恒定律起作用。” 上述推理的形式是:p→﹁q,q ├﹁p 上述推理形式正确,使用的是充分条件假言推理的否定后件式。 4.如果2号队员伤病已痊愈并且恢复了竞技状态,那么,他就会被派上场。2号队员伤病已痊愈,但没有被派上场。所以,他还没有恢复竞技状态。 令:p表示:“2号队员伤病已痊愈。” q表示:“2号队员恢复了竞技状态。” r表示:“2号队员被派上场。” 上述推理的形式是:(p∧q)→ r,p,﹁r├﹁q 上述推理形式正确,使用的是反三段论。

八种常用逻辑门的实用知识(逻辑表达式逻辑符号真值表逻辑运算规则)

本文档如对你有帮助,请帮忙下载支持!名称逻辑表达式逻辑符号真值表逻辑运算规则 与门A 0 0 1 1 0 1 0 1 有0得0 全1得1 B F 0 0 0 1 或门A 0 0 1 1 0 1 0 1 有1得1 全0得0 B F 0 1 1 1 非门A 0 1 有0得1 有1得0 F 1 0 与非门A 0 0 1 1 0 1 0 1 有0得1 全1得0 B F 1 1 1 0 或非门A 0 0 1 1 0 1 0 1 有1得0 全0得1 B F 1 0 0 0 与或非门A 0 0 (1) 0 0 (1) 0 0 (1) 0 1 (1) AB或CD有一组或 两组全是1结果得0 其余输出全得1 B C D F 1 1 0 异或门A 0 0 1 1 0 1 0 1 不同得1 相同得0 B F 0 1 1 0 同或门 A F ⊙B A 0 0 1 1 0 1 0 1 不同得0 相同得1 B F 1 0 0 1 色环电阻的表示 颜色黑棕红橙黄绿蓝紫灰白金银无有效 数字 0 1 2 3 4 5 6 7 8 9 -1 -2 -3 乘数10010110210310410510610710810910-110-2 精确度±1﹪±2 ﹪ ±0.5 ﹪ ±0.25 ﹪ ±0.1 ﹪ ±5 ﹪ ±10 ﹪ ±20 ﹪ 注:四色环电阻:1、2环表示是有效数照写,3环表示是乘数(就是要乘与这个乘数),4环表示是精确度。五色环电阻:1、2、3环表示是有效数照写,4环表示是乘数(就是要乘与这个乘数),5环表示是精确度。 例:四色环电阻五色环电阻 1 2 103±10﹪ 2 0 3 101±5﹪ 式子:12x103=12x1000=12000Ω=12KΩ±10﹪式子:203X101=203X10=2030Ω=2.03KΩ±5﹪

逻辑式与真值表

课题:逻辑式与真值表 课时:两课时 教学目标:1、了解逻辑式的概念; 2、会填写逻辑式的真值表; 3、理解等值逻辑式的涵义; 4、能够判断逻辑式是否等值 教学重点:理解等值逻辑式的概念,并能判断逻辑式是否等值。 教学难点:填写逻辑式的真值表 教学过程: 一、创设情境,导入课题 A 、A ·(B+C )、[(A B)+C] + D 、1、0 有常量1、0以及逻辑变量经逻辑运算构成的式子叫做逻辑代数式,简称逻辑式。 逻辑运算的优先次序依次为“非运算”、“与运算”、“或运算”,如果有添加括号的逻辑式,首先要进行括号内的运算。 二、动脑思考,探索新知 列出逻辑变量的一切可能取值与相应的逻辑式的值的表,叫做逻辑式的真值表。 问题1:试写出AB B A +?的真值表。 A B AB B A +? 1 1 1 0 0 1 0 分析:可以先写出B A ?和AB ,再计算AB B A +? 问题2:试写出B A +与B A ?的真值表,并观察它们值的关系 A B A+B B A + A B B A ? 1 1 1 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 1

如果对于逻辑变量的任何一组取值,两个逻辑式的值都相等,这样的两个逻辑式叫做等值逻辑式,等值逻辑式可用“=”连接,并称为等式。需要注意,这种相等是状态的相同。 问题3:用真值表验证下列等式是否成立 A·(B+C)=A·B+A·C A B C B+C A·(B+C)A·B A·C A·B+A·C 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 可以看出对于逻辑变量的任何一组值,A·(B+C)与A·B+A·C的值都相同,所以A·(B+C)=A·B+A·C。 随堂练习 1.填写下列真值表,并判断有没有等值逻辑式 (1) A B A·B B A?B A+ (2) A B A+B B A? A+B

逻辑学 命题逻辑

第五章命题逻辑 上一章我们学习了词项逻辑,词项逻辑是以词项的研究为基础的,讨论的是简单命题和简单命题的推理。在这一章中,我们来学习在简单命题的基础上构成的复合命题以及复合命题推理。由于对复合命题和复合命题推理的研究是以命题为基本单位的,不再分析简单命题的内部结构,因此被称为命题逻辑。命题逻辑也叫联结词的逻辑,因为它是以命题联结词的研究为基础的。 第一节复合命题 复合命题是由一定的联结词(常称为命题联结词或逻辑联结词)将一个、两个或两个以上命题联结起来构成的命题。与简单命题不同,复合命题中包含着其他命题。作为复合命题组成部分的命题称为支命题。 复合命题按照其不同的逻辑含义,可分为负命题、联言命题、选言命题和假言命题。 一、负命题 (一)什么是负命题 负命题是否定某种事物情况的命题。 负命题由表示否定的联结词联结一个支命题构成。负命题只有一个支命题,这显然与其他复合命题不同。 在日常语言中,表达负命题的联结词的语词有“并非”、“并不是”等,我们在表示负命题的形式时,以“并非”作为代表,即将负命题的形式表示为: 并非p 这里的p是表示任一命题(常表示任一简单命题)的符号,称为命题变项。负命题的联结词也可以用符号“?”表示。这样,上述形式就可表示为: ?p 这里的“?”称为否定词,?p称为否定式,可读作“非p”。 负命题是否定某种事物情况,而不是否定事物具有某种性质,因而它不同于直言命题中的否定命题。直言命题中的否定命题的否定联项处于命题当中,而负命题的否定词

则处于命题的最前端。 不过,直言命题中的单称否定命题形式“s不是P”逻辑等值于“并非s是P”,而后者可表示为“并非p”的形式,因此,直言命题中的单称否定命题常被作为负命题处理。特别是在单称肯定命题与相应的单称否定命题同时出现,而又将单称肯定命题用某个命题变项符号(如p)代替时,为反映出它们之间的逻辑联系,更需要将相应的单称否定命题直接表示为负命题的形式(如?p)。这种处理方法在复合命题推理中是常用的。 必须注意的是,直言命题中的否定命题能直接作为负命题对待的只有单称否定命题,全称否定命题和特称否定命题则不能直接作为负命题处理。显而易见,“所有S不是P”并不逻辑等值于“并非所有S是P”,“有S不是P”也并不逻辑等值于“并非有S是P”。 (二)负命题的真假值 负命题是对其支命题所断定的事物情况的否定,它的真假与其支命题的真假相反:如果一个负命题的支命题为真,那么这个负命题就是假的;如果一个负命题的支命题为假,那么这个负命题就是真的。 负命题与其支命题之间的真假值关系可概括为:?p真,当且仅当p假。 二、联言命题 (一)什么是联言命题 联言命题是断定两种或两种以上事物情况同时存在的命题。 联言命题由两个或两个以上支命题经一定的联结词联结而成。构成联言命题的支命题称为联言支。 在日常语言中,表达联言命题的语句是多种多样的,有并列复句、连续复句、递进复句、转折复句等。这些复句的关联词更是多种多样的,如“并且”、“而且”、“也”、“既……又……”、“可是”、“不但……而且……”、“虽然……但是……”等。这些语词中,最符合联言命题的逻辑含义的是“并且”。其他一些语词则还带有更多的含义,如表示递进、转折等,这些含义不是逻辑上的。因此,我们选择“并且”作为联言命题的联结词的逻辑表达。这样,具有两个联言支的联言命题的形式可表示为:p并且q 具有三个联言支的联言命题的形式可表示为:

基本逻辑关系和常用逻辑门电路

第2章基本逻辑关系和常用逻辑门电路 通常,把反映“条件”和“结果”之间的关系称为逻辑关系。如果以电路的输入信号反映“条件”,以输出信号反映“结果”,此时电路输入、输出之间也就存在确定的逻辑关系。数字电路就是实现特定逻辑关系的电路,因此,又称为逻辑电路。逻辑电路的基本单元是逻辑门,它们反映了基本的逻辑关系。 2.1 基本逻辑关系和逻辑门 2.1.1 基本逻辑关系和逻辑门 逻辑电路中用到的基本逻辑关系有与逻辑、或逻辑和非逻辑,相应的逻辑门为与门、或门及非门。 一、与逻辑及与门 与逻辑指的是:只有当决定某一事件的全部条件都具备之后,该事件才发生,否则就不发生的一种因果关系。 如图2.1.1所示电路,只有当开关A与B全部闭合时,灯泡Y才亮;若开关A或B其中有一个不闭合,灯泡Y就不亮。 这种因果关系就是与逻辑关系,可表示为Y=A?B,读作“A与B”。在逻辑运算中,与逻辑称为逻辑乘。 与门是指能够实现与逻辑关系的门电路。与门具有两个或多个输入端,一个输出端。其逻辑符号如图2.1.2所示,为简便计,输入端只用A和B两个变量来表示。 与门的输出和输入之间的逻辑关系用逻辑表达式表示为: Y=A?B=AB 两输入端与门的真值表如表2.1.1所示。波形图如图2.1.3所示。 A B Y 0 0 0 0 1 0 1 0 0 表2.1.1 与门真值表 图2.1.1 与逻辑举例 (a)常用符号(b)国标符号 图2.1.2 与逻辑符号

1 1 1 由此可见,与门的逻辑功能是,输入全部为高电平时,输出才是高电平,否则为低电平。 二、或逻辑及或门 或逻辑指的是:在决定某事件的诸条件中,只要有一个或一个以上的条件具备,该事件就会发生;当所有条件都不具备时,该事件才不发生的一种因果关系。 如图2.1.4所示电路,只要开关A或B其中任一个闭合,灯泡Y就亮;A、B都不闭合,灯泡Y才不亮。这种因果关系就是或逻辑关系。可表示为: Y=A+B 读作“A或B”。在逻辑运算中或逻辑称为逻辑加。 或门是指能够实现或逻辑关系的门电路。或门具有两个或多个输入端,一个输出端。其逻辑符号如图2.1.5所示。 或门的输出与输入之间的逻辑关系用逻辑表达式表示为: Y=A+B 两输入端或门电路的真值表和波形图分别如表2.1.2和图2.1.6所示。 A B Y 0 0 0 0 1 1 1 0 1 1 1 1 图2.1.3 与门的波形图 表2.1.2 图2.1.4 或逻辑举例(a)常用符号(b)国标符号 图2.1.5 或逻辑符号

逻辑学题库

一、名词解释: 1思维:思维是人脑对于客观世界的间接地、概括的反应。 2命题:通过语句来反映失误情况的思维方式。 3复合命题:本身包含有其他命题的命题,他的变项是命题。 4推理:推理是一个命题序列,它是从一个或几个已知命题推出一个新命题的思维形式。 5联言命题:是反应若干事物同时存在的命题。 6选言命题:是反应若干可能的事物情况至少有一个存在的命题。 7选言推理:是前提中有一个是选言命题,并且根据选言命题选言肢间的关系而推出结论的推理。 8假言命题:反应某一事物情况是另一事物情况存在条件的命题。 9负命题:一种比较特殊的复合命题,它是否定某个命题的命题。 10假言选言命题:以假言命题和假言命题做前提所构成的推理。 11概念:反应对象特有属性或本质属性的思维形式。 12概念的内涵:反应在概念中的对象的特有属性或本质属性。 13概念的外延:具有概念所反应的特有属性或本质的对象。 14单独概念:反应某一个事物的概念,它的外延仅指一个单独的对象。 15普遍概念:反应某一类事物的概念,它的外延不是由一个单独的分子构成的,而是由两个以上乃至许许多多分子组成的类。 16定义:揭示概念内涵的逻辑方法,给一个概念下定义就是用精炼的语句将这个概念的内涵揭示出来,也就是揭示这个概念所反映的对象的特有属性或本质属性。17:分类:根据对象的本质属性或显着特征将对象分为若干个类,使每个类相对于其他类都具有确定的地位。

18集合:由直观上或思想上的一些确定的、彼此不同的对象组成的一个整体。 19性质命题:反映对象具有或不具有某种性质的命题。 20项的周延:在性质命题中对主项、谓项外延数量的反映情况。 21命题变形推理:通过改变性质命题的联项(肯定改成否定,否定改成肯定),或是改变性质命题的主项与谓项的位置,或者既改变联项又改变主项与谓项的位置,从而得出结论的推理。 22三段论:在传统逻辑中叫直言三段论,它是以两个包含着共同项的性质命题为前提而推出一个新的性质命题为结论的推理。 23关系命题:反映事物与事物之间关系的命题。 24模态命题:广义的是指一切包含有模态词(如“可能”、“必须”、“允许”、“禁止”等)的命题。 25模态推理:以模态命题为前提的推理,它是根据模态命题的性质进行推演的。 26同一律:在同一思维过程中,每一思维的自身都具有同一性。 27矛盾律:在同一思维过程中,互相否定的思想不能同时是真的。 28排中律:在同一思维过程中,两个互相否定的思想必有一个是真 29归纳推理:按逻辑学的传统观点,凡是从个别知识的前提推出一般知识点的推理。的。 30完全归纳推理:是这样一种必然性推理,它根据某类的每一个对象具有(或不具有)某种特性,推出一个关于某类的一般性知识的结论。 二、填空: 、一各性质判断的谓项不周延,则这个判断的质是否定的一个性质判断的主项周延,则这个判断的量是全称的。 2、对SAP判断换质,其结论是SE非P;对SAP判断换位,其结论是SIP。 3、3、根据性质判断对当关系,如果SEP假,则SAP真假不定SIP真SOP真假不定

逻辑学命题的判定与自然推理答案

第三章命题的判定与自然推理 一、用符号表示下列各复合命题的真值形式: 1.pp。 2.pq。 3.p→q(如以“不……焉……”为联结词,也可表示为“p←q”) 4.p→q。 5.(p←q) (p→q)。 二、p为假,pq 为假,pq为真,p→q为假,pq为假。 三、q的取值应为真。 四、4、5两公式取值为T。 五、各组公式的真值表分别为: 1.

以上各组公式中2、5分别表示相同的真值函项。 六、列出下列公式的真值表,并指出它们分别为重言式、矛盾式或协调式。 各公式的真值表是: 2. 3.

4. 5. 以上 1、2为 重言式,3、5为矛盾式。 七、用归谬赋值法判明下列公式是否为重言式。 1. 〔(p→q)(r →q )(pr)〕→q F T F T FT F 为重言式。 2.(→qr) (1) (p→q)(p→r )→(p→qr)

T T T T TTT F T F FFF q和r有赋值矛盾,所以,(1)式是重言式。 (2)(p→qr )→(p→q)(p→r) T TTTF F T T T F TF F 所有命题变元均无赋值矛盾,故(2)不是重言式。 3.(p→q)(q→r )→(p→r) T TT T FT F F T F F 命题变元q有赋值矛盾,故该式为重言式。 八、用命题的自然推理,证明下列公式是否为有效式(为系统中的定理)。1.pp→p 证明:①pp 假设 ②p①据规则5 ③pp→p①、②据规则(3),消去假设① 2.(p→q) q→p 证明:①p 假设 ②(p→q) q 假设

③p→q ②据规则(5) ④q①、③据规则(2) ⑤q②据规则(5) ⑥qq ④、⑤据规则(4) ⑦p ①、⑥据规则(8),消去假设① ⑧(p→q) q→p ②、⑦据规则(3),消去假设②3.(p→q) → (q→p) 证明:①p 假设 ②p→q 假设 ③q 假设 ④q ①、②据规则(2) ⑤qq ③、④据规则(4) ⑥p①、⑤据规则(8),消去假设① ⑦q→p ③、⑥据规则(3),消去假设③ ⑧(p→q) → (q→p) ②、⑦据规则(3),消去假设②4.(q→r )→(pq→pr)

逻辑学试卷基础测试

基础测试(一) 一、填空题 1.在“并非‘p当且仅当q’”中,逻辑常项是( )。 2.在“并非要么p,要么q”中,变项是( )。 3.任何一种逻辑形式都是由( )和( )两部分构成的。 4.在“□p→◇p”中,逻辑变项是( )。 5.在“并非如果p,那么q”中,逻辑常项是( )。 6.“兵不在多而在于精”和“甲不当班长而乙当班长”所具有的共同的逻辑形式,若用p,q作变项,可表示为( )。 7.“要么p,要么q,要么r”这一命题形式的逻辑变项是( )。 8.在“[A()B]→B”的空括号内,填入逻辑常项符号( ),可构成有效的推理式。 9.在“有S不是P”中,逻辑变项是( );在“(p∧q)→r”中,逻辑常项是( )。 二、单项选择题 1.两个假言命题的逻辑形式相同,是指()相同。 A.前件和后件 B.前件和联结词 C.后件和联结词 D.联结词 2.逻辑形式之间的区别,取决于()。 A.逻辑常项 B.变项 C.语言表达形式 D.思维的内容 3.“只有q才p”与“如果q则p”这两个命题形式,它们含有()。 A.相同的逻辑常项,相同的变项 B.不同的逻辑常项,相同的变项 C.相同的逻辑常项,不同的变项 D.不同的逻辑常项,不同的变项

4.“要么p,要么q”与“或者p,或者q”这两个命题形式,它们含有()。 A.相同的逻辑常项,相同的逻辑变项 B.相同的逻辑常项,不同的逻辑变项 C.不同的逻辑常项,相同的逻辑变项 D. 不同的逻辑常项,不同的逻辑变项 基础测试(一)参考答案 一、填空题 1.并非,当且仅当。 2.p,q。 3.常项;变项。 4.p。 5.并非,如果……那么…… 6.p∧q(也可表示为p∧q)。 7.p,q,r。 8.∧。 9.S,P;∧,→。 二、单项选择题 1.D. 2.A. 3.B. 4.C. 基础测试(二) 一、填空题 1.从概念的外延关系看,“教师”与“劳动模范”具有( )关系;“陈述句”与“疑问句”具有( )关系。 2.根据“概念所反映的对象是否具有某属性”来考虑概念所属种类,“正义战争”是( )概念。 3.如果有的A是B,有的B不是A,而且,( ),那么,A与B之间在外延上

逻辑学试题

逻辑学试题 一、对下列概念进行一次限制和一次概括 1、教师 一次限制:大学教师 一次概括:知识分子 2、真实定义 一次限制:性质定义 一次概括:逻辑方法 3、革命战争 一次限制:中国革命战争 一次概括:战争 4、标准式三段论 一次限制:标准式三段论的省略式 一次概括:三段论 5、关系推理 一次限制:对称性关系推理 一次概括:简单命题的推理 6、性质判断 一次限制:全称肯定判断 一次概括:简单判断 7、选言判断 一次限制:相容的选言判断 一次概括:复合判断 8、性质命题变形推理:一次限制:换质法 一次概括:简单命题的推理 一、下列句子作为定义或划分是否正确,为什么 1、未成年人是没有年满十八岁的人 正确 “未成年人”是否定概念,给否定概念下定义时可使用否定式 2、形式逻辑是研究思维形式结构的科学。错误 定义必须相应相称,此句子犯了“定义过窄”的错误 3、小说分为长篇、短篇、历史、当代小说。 错误 划分根据必须同一,此句子犯了“混淆根据”的错误 4、关系判断分为关系项、关系者项和量项。 错误 此句子是分解,并非定义或划分 二、图示下列概念间的关系 1、a 、理论家 b 、战略家 c 、军事家 d 、毛泽东 2、a 、概念 b 、判断 c 、推理 d 、正概念 e 、属性概念 f 、必然性推理 g 、二难推理 h 、性质判断 (此题有争议) 理论家 战略家 军事家 毛泽东 c f g b h a d e

三、已知下列判断的真(假),根据判断间的对当关系,指出其他几个判断的真假 1、所有的命题都是判断。(假)该命题为A命题,当A命题为假时,E命题真假不定,I命题真假不定,O命题为真 2、明天可能转暖。(真)该命题为肯定可能命题,当肯定可能命题为真时,否定可能命题真假不定,肯定必然命题真假不定,否定必然命题为假 四、指出下列概念的种类 1、邓小平文集单独概念、集合概念、肯定概念、实体概念 2、花卉普遍概念、集合概念、肯定概念、实体概念 3、国家普遍概念、集合概念、肯定概念、实体概念 五、用真值表的方法判断下列各组判断是否等值 1、p→q 和﹃(p∧﹃q) P q p→q ﹃(p∧﹃q) 真真真真 真假假假 假真真真 假假真真 所以p→q 和﹃(p∧﹃q)等值 2、p∨q 和﹃p←q P q p∨q ﹃p←q 真真真假 真假真真 假真真真 假假假真 所以p∨q 和﹃p←q不等值 七、指出下列推理的种类、形式结构,是否正确?为什么? 1、所有的人都是动物,所以,所有的动物都是人。 种类:换位推理形式结构:SAP→PAS 不正确因为前提中不周延的项在结论中也不能周延,“动物”在前提中不周延,但在结论中周延了 2、逻辑学是思维科学,逻辑学是基础科学,所以,基础科学是思维科学 种类:三段论形式结构:M是P,M是S,所以S是P 不正确因为前提中不周延的项,在结论中也不能周延,“基础科学”在前提中不周延,但在结论中周延了,犯了“小项扩大周延”的错误 八、下列是否违反逻辑规律,简述理由 丙的议论违反了哪些思维基本规律的要求,犯了什么错误,简单说明理由 甲说:“凡是语句都是表达命题的” 乙说:“有的语句并不表达命题” 丙说:“甲和乙的观点都不对,我认为疑问句不表达命题” 丙的议论违反了排中律,犯了“模棱两可”的错误。甲和乙的说法构成两个相互矛盾的思想,否定两个相互矛盾的思想违反了排中律的要求 九、从三段论的基本规则、格的特殊规则、式的要求及文恩图分析三段论

离散数学,逻辑学,命题公式求真值表

离散逻辑学实验 班级:10电信实验班学号:Q 姓名:王彬彬 一、实验目的 熟悉掌握命题逻辑中的联接词、真值表、主范式等,进一步能用它们来解决实际问题。 二、实验内容 1. 从键盘输入两个命题变元P和Q的真值,求它们的合取、析取、条件和双条件的真值。(A) 2. 求任意一个命题公式的真值表(B,并根据真值表求主范式(C)) 三、实验环境 C或C++语言编程环境实现。 四、实验原理和实现过程(算法描述) 1.实验原理 (1)合取:二元命题联结词。将两个命题P、Q联结起来,构成一个新的命题P∧Q, 读作P、Q的合取, 也可读作P与Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = T, Q = T时方可P∧Q =T, 而P、Q只要有一为F则P∧Q = F。这样看来,P∧Q可用来表示日常用语P与Q, 或P并且Q。 (2)析取:二元命题联结词。将两个命题P、Q联结起来,构成一个新的命题P∨Q, 读作P、Q的析取, 也可读作P或Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = F, Q = F时方可P∨Q =F, 而P、Q只要有一为T则P∨Q = T。这样看来,P∨Q可用来表示日常用语P或者Q。 (3)条件:二元命题联结词。将两个命题P、Q联结起来,构成一个新的命题P→Q, 读作P条件Q, 也可读作如果P,那么Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = T, Q = F时方可P→Q =F,

其余均为T。 (4)双条件:二元命题联结词。将两个命题P、Q联结起来,构成一个新的命题P←→Q, 读作P双条件于Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为当两个命题变项P = T, Q =T时方可P←→Q =T, 其余均为F。 (5)真值表:表征逻辑事件输入和输出之间全部可能状态的表格。列出命题公式真假值的表。通常以1表示真,0 表示假。命题公式的取值由组成命题公式的命题变元的取值和命题联结词决定,命题联结词的真值表给出了真假值的算法。真值表是在逻辑中使用的一类数学表,用来确定一个表达式是否为真或有效。 (6)主范式: 主析取范式:在含有n个命题变元的简单合取式中,若每个命题变元与其否定不同时存在,而两者之一出现一次且仅出现一次,称该简单合取式为小项。由若干个不同的小项组成的析取式称为主析取范式;与A等价的主析取范式称为A的主析取范式。任意含n个命题变元的非永假命题公式A都存在与其等价的主析取范式,并且是惟一的。 主合取范式:在含有n个命题变元的简单析取式中,若每个命题变元与其否定不同时存在,而两者之一出现一次且仅出现一次,称该简单析取式为大项。由若干个不同的大项组成的合取式称为主合取范式;与A等价的主合取范式称为A的主合取范式。任意含n个命题变元的非永真命题公式A都存在与其等价的主合取范式,并且是惟一的。 五、代码设计结果:

相关文档
相关文档 最新文档