数理逻辑1.1-2

合集下载

离散数学1-1,1-2

(祈2)使1＋句1：=要10求。或者希望别人做什么事或者不做什么事时用的句子， (句3)末今用天句下号雨或感。叹号。
(疑4)问你句今：年提暑出假问题去的旅句行子吗，句？末（用疑问问号。句） (感5)叹克句里：特带岛有人浓说厚感：情“的克句里子特，岛句末人用是感说叹谎号话。者”。
（悖论）
悖：相反。悖论：自相矛盾的陈述。
h）我们要努力学习。
第十五页，共52页。
离散数学
解：
Hale Waihona Puke a），c），e）是原子命题，f）是复合命题。
a）离散数学是计算机科学系的一门必修课。是命题，真值为T。
b）小李有空吗？疑问句，不是命题。 c）明天我去看电影。是命题，真值要根据具体情况确定。
d）请勿随地吐痰！祈使句，不是命题。 e）不存在最大质数。是命题，真值为T。 f）如果我掌握了英语、法语，那么学习其他欧洲语言就容易的多。是命题，真值为T。 g）x=3 不是命题，x=3的真假由x确定，当x取3时句子为真，当x取其他值时句子为假。 h）我们要努力学习。祈使句，不是命题。
第二十一页，共52页。
离散数学
2/7
与“和”有相同意义的汉字还有“与”、“以及”、 “并且”、“而且”等。
例：P：今天下雨。
Q：明天下雨。
上述命题的合取为
P∧Q：今天下雨而且明天下雨。
P∧Q：今天与明天都下雨。 P∧Q：这两天都下雨。显然只有当“今天下雨”与“明天下雨”都是真时， “这两天都下雨”才是真的。
祈使句、疑问句、感叹句等都不能作为命题，悖论
无真值，也不能作为命题。
语句（7）—（11）都不是命题。
第十三页，共52页。
离散数学
3、分类

精品文档-离散数学(方世昌)-第1章

2
第1章数理逻辑
例 1.1 - 1 下述都是命题: (1) 今天下雪; (2) 3+3=6; (3) 2 是偶数而 3 是奇数; (4) 陈涉起义那天，杭州下雨; (5) 较大的偶数都可表为两个质数之和。
3
第1章数理逻辑
以上命题中，(1)的真值取决于今天的天气; (2)和(3)是真; (4)已无法查明它的真值，但它是或真或假的，故将它归属于命题; (5)目前尚未确定其真假，但它是有真值的，应归属于命题。
6
第1章数理逻辑
从以上分析，我们得出他必须既非说谎也不是讲真话。这样，断言“我正在说谎”事实上不能指定它的真假，所以不是命题。这种断言叫悖论。
若一个命题已不能分解成更简单的命题，则这个命题叫原子命题或本原命题。例1.1 - 1中(1)、(2)、(4)、(5)都是本原命题，但(3)不是，因为它可写成“2 是偶数”和“3 是奇数”两个命题。
译为P∧Q，但“林芬和林芳是姐妹”就不能翻释成两个命题的合
取，它是一个原子命题。
34
第1章数理逻辑
1.1.3 命题变元和命题公式通常，如果P代表真值未指定的任意命题，我们就称P为命题
变元; 如果P代表一个真值已指定的命题，我们就称P为命题常元。但由于在命题演算中并不关心具体命题的涵义，只关心其真假值，因此，我们可以形式地定义它们。
以“真”、“假”为其变域的变元，称为命题变元; T和F称为命题常元。
35
第1章数理逻辑
习惯上把含有命题变元的断言称为命题公式。但这样描述过于表面，它没能指出命题公式的结构。因为不是由命题变元、联结词和一些括号组成的字符串都能成为命题公式，因此在计算机科学中常用以下定义。
单个命题变元和命题常元叫原子公式。由以下形成规则生成的公式叫命题公式(简称公式):

数理逻辑讲义

数理逻辑的一般介绍我们在中学时代就能进行一些证明了, 但并非所有的人都能回答到底什么是证明. 大概来说, 所谓的证明就是把认为某一断言是正确的理由明确地表述出来. 在这一过程中, 我们通常都需要把一些人们已接受的命题作为讨论的基础. 在此基础上, 如果我们能够把该断言推导出来, 该断言就是被认为是被证明了, 因而也就会被人们接受. 于是, 一个很自然的问题就是: 推导究竟为何物? 这个问题就属于逻辑的范畴.逻辑研究推理, 而数理逻辑则研究数学中所用的推理. 由于这种推理在计算机科学中有许多有广泛的应用, 数理逻辑也就成为计算机科学的重要基础之一.很明显, 我们不能够证明一切命题. 如上所述, 当我们证明某一断言(结论) 的时候需要一些其它的命题(前提)作为推理的基础. 我们还可以要求对这些前提进行证明. 如果一直这样要求下去, 或迟或早, 我们会遇这样的情况: 我们进行了“循环” 证明, 即把要证明的命题作为前提来使用, 或者我们无法再作任何证明, 因为没有更为明显的命题可以用来作为前提了.这样,我们就必须不用证明而接受某些命题,我们把这类命题称为“公理”; 其它由这些公理而证明的命题则被称为“定理”.所谓的命题, 直观上是关于某些概念之间的关系. 因而, 我们要求公理是那些根据概念可以明显地接受的命题. 由概念,公理和定理所组成的全体就是公理系统.以上对公理系统的描述要求我们知道公理系统的确切含义. 然而, 从推理的角度来说, 我们并不需要如此. 让我们来看下面的例子:(1).每个学生都是人,(2).王平是学生, (3).王平是人.我们可以由(1) 和(2)推导出(3), 也就是说,如果(1) 和(2)是正确的, 我们就可以断定(3)是正确的. 在这个推理过程中我们并不需要知道“王平”, “学生”, “人” 的含义如何, 把它们换成任何其它的名词, 这一推理都成立. 使(3) 成为(1) 和(2) 的逻辑推论是依据这样的事实: 如果(1)和(2)为真, 则(3)为真. 换句话说, 我们从命题的形式上就可以判断某一推理是否在逻辑上成立, 而无需考虑它的实际含义. 所以我们在研究逻辑的时候往往只需要进行形式的考察就行了, 不必考虑其含义.当我们对某一类研究对象指定了一个公理系统时, 这个公理系统所表示的含义就确定了. 但是在很多情况下, 我们会发现这个公理系统也适合于其它的一些对象. 于是当代数学建立了许多公理系统框架(如各种代数结构). 在这种公理系统框架中, 真正重要的并不是各种公理系统所表达的特定含义的不同, 而是它们的系统构造方面的区别. 这就告诉我们, 在对公理系统进行研究时, 仅对公理系统的形式进行考察是有实际意义的, 在某些情况下这种形式上的考察可以使我们的研究更具有一般性.基于如上认识以及其它的一些考虑(如从计算机科学的角度进行研究等), 我们将对公理系统的语法部分和语义部分进行分别研究. 公理系统的语义部分研究公理系统的含义, 它属于"模型论" 的研究范围, 我们将在今后作一些初步的介绍. 现在,我们对公理系统的语法部分进行粗略的描述.公理系统的语法部分称为形式系统. 它由语言, 公理和推理规则这样三个部分组成.任何推理必须在一定的语言环境中进行, 所以形式系统首先需要有它的语言. 自然语言(如英语, 中文等)具有很丰富的表达能力, 但通常会产生二义性. 例如"是" 在自然语言中可以表示“恒等” (如: 我们的英语老师是张卫国.), “属于” (如: 王小平是学生.), “包含” (如: 学生是人.) 等不同的含义. 同时, 我们还希望公理系统的语言结构能尽可能地反映它的语义并能有效地进行推理. 因而, 我们通常在形式系统中使用人工设计的形式语言.1设A 是一个任给的集合. 我们把A 称为字母表, 把A 中的元素称为符号. 我们把有穷的符号序列称为A的表达式. 一个以A 为其字母表的语言是A 的表达式集合的一个子集, 我们把这个子集中的元素称为公式. 因为我们希望这个语言能够表达我们所研究的对象, 我们要求公式能反映某些事实. 虽然理论上以A 为其字母表的语言可以是A 的表达式集合的任何子集, 我们将只讨论那些能将公式和其它表达式有效地区分开的语言. 我们将用L(F)表示公理系统F 的语言.形式系统的第二个部分是它的公理. 我们对公理的唯一要求是它们必须是该公理系统语言中的公式.最后, 为了进行推理我们需要推理规则. 每个推理规则确保某个公式(结论) 可由其它一些公式(前提) 推导出来.给定公理系统F, 我们可以把F 中的定理定义如下:1). F 的公理是F 的定理;2). 如果F 的某一推理规则的前提都是定理, 则该推理规则的结论也是定理;3). 只有1)和2)所述的是定理.这种定义方式和自然数的定义方式相类似, 称为广义递归定义. 它和通常的定义方式在形式上有所区别. 为了说明它的合理性, 我们对F的定理进行进一步的描述. 设S0 是F 的公理集. 根据1), S0 中的元素是定理. 设S1 是公式集, 它的元素都是F 的某一推理规则的结论, 而该推理规则的前提都是S0 中的元素. 根据2), S1 中元素是定理. 设S2 是公式集,它的元素都是F 的某一推理规则的结论, 而该推理规则的前提都是S0 或S1 中的元素. 根据2), S2 中元素是定理. 如此下去, 我们得到S2 ,S3 ,.... 最后, 设S N 是公式集, 它的元素都是F 的某一推理规则的结论, 而该推理规则的前提都是S0 或S1 ,...S N中的元素. 根据2), S N 中元素是定理并且我们得到了F中的所有定理. 我们将经常使用这种定义方式. 为了书写方便, 在今后的广义递归定义中我们将不再把类似3)的条款列出.如此定义的F 中定理为我们提供了一种证明方法. 当要证明F 中的定理都具有某一性质P 时, 我们可以采用下述步骤:1). 证明F 的公理都具有性质P;2). 证明如果F 的每个推理规则的所有前提具有性质P, 则它的结论具有性质P.这种证明方法称为施归纳于F的定理. 一般说来, 如果集合C 是由广义递归定义的, 我们可用类似的方法证明C中的元素都具有性质P. 这种证明方法称为施归纳于C中的元素. 2)中的前提称为归纳假设.现在我们就可以定义什么是证明了. 所谓F 中的一个证明是一个有穷的F 的公式序列, 该序列中的每一个公式要么是公理, 要么F 的某个推理规则以该序列中前面的公式所为前提而推导出的结论. 如果A 是证明P 的最后的公式, 则称P 是A 的证明.定理公式A 是F 的定理当且仅当A 在F 中有证明.证明首先根据定理的定义可以看出任何证明中的任何公式都是定理, 所以如果A 有证明, 则A 是定理. 我们施归纳于F 的定理来证明其逆亦真. 如果A 是公理, 则A 本身就是A 的证明. 如果A 是由F 的某一推理规则以B1 ,...,B n 为前提推导而得的结论, 由归纳假设, B1 ,...,B n 都有证明. 我们把这些证明按顺序列出来即可得到A 的一个证明. 证完今后, 我们将用 F .... 表示"....是F 的定理".一阶理论2今后, 我们将主要讨论一类特殊的公理系统. 这类公理系统称为一阶理论. 一阶理论是一种逻辑推理系统, 它具有很强的表达能力和推理能力, 并且在数学, 计算机科学及许多其它的科学领域中有广泛的应用. 事实上, 目前使用的大多数计算机语言和数学理论都是一阶理论.如前所述, 一阶理论的第一个部分是它的语言. 我们把一阶理论的语言称为一阶语言. 如同其它的形式语言一样, 一阶语言应包括一个符号表和一些能使我们把公式和其它表达式区分开的语法规则.首先, 我们定义一阶语言的符号表, 它由三类功能不同的符号组成. 它们是:a) 变元x,y,z,...;b) n元函数符号f,g,..., 及n元谓词符号p,q,...;c) 联结词符号和量词符号⌝,∨和∃.为了今后的方便, 我们假定一阶语言的变元是按一定顺序排列的, 并且我们把这种排列顺序称为字母顺序. 我们称0 元函数符号是常元符号. 注意: 一个任给的一阶理论并没有要求必须有函数符号: 一个一阶理论可能没有函数符号, 可能有有穷多个函数符号, 也可能有无穷多的函数符号. 我们要求任何一阶理论必须包括一个二元谓词符号, 并用"=" 来表示它. 和函数符号一样, 一个给定的一阶语言可能有有穷或无穷多个(甚至没有) 其它的谓词符号. 函数符号和除=外的谓词符号称为非逻辑符号, 而其它的符号称为逻辑符号.在定义公式之前, 我们必须先定义"项":(1.1) 定义在一阶语言中, 项是由下述广义递归方式定义的:a) 变元是项;b) 如果u1 ,...,u n 是项, f是n元函数符号, 则fu1 ...u n 是项.然后, 我们定义公式如下:(1.2) 定义在一阶语言中, 公式是由下述广义递归方式定义的:a) 如果u1 ,...,u n 是项, p是n元谓词符号, 则pu1 ...u n 是(原子) 公式,b) 如果u,v 是公式, x 是变元, 则⌝u, ∨uv 和∃xu是公式.如前所述, 相应于公式的定义, 我们有一种广义归纳的证明方法. 我们将把这种证明方法称为施归纳于长度. 有时我们还用施归纳于高度的证明方法, 而所谓的高度是公式中含有⌝,∨,和∃的数量.如果一个表达式b包括另一个表达式a, 则称第二个表达式a在第一个表达式b中出现, 即如果u,v,w 是表达式, 则v在uvw 中出现. 这里, 我们不仅要求a的符号都包括在b中, 而且要求这些符号的排列顺序和a一样并且中间不插有任何其它的符号. 我们把b包括a的次数称为a在b中出现的次数.接下来, 我们要讨论关于一阶语言的一些性质. 这种讨论不仅可以使我们加深对一阶语言的认识, 同时还能帮助我们理解其它的形式系统. 首先要考虑的是唯一可读性问题, 也就是说, 我们将要证明一阶语言中的任何公式不可能有不同的形式. 这一性质说明一阶语言在结构上是不会产生二义性的. 为了简化书写, 我们把公式和项统称为合式表达式. 于是, 根据定义可以知道所有的合式表达式都具有uv1 ...v n 的形式, 其中u 是n 元(函数或谓词) 符号, v1 ,...,v n 是合式表达式.我们说两个表达式u和v是可比较的, 如果存在一个表达式w (w 可以是空表达式) 使u=vw. 显然, 如果uv和u'v'是可比较的, 则u 和u'是可比较的; 如果uv和uv' 是可比较的, 则v 和v'是可比较的.3(1.3) 引理如果u1 ,...,u n ,u'1 ,...,u'n 是合式表达式(u1 和u'1 都不是空表达式), 而且u1 ...u n 和u'1 ...u'n 是可比较的,则对于一切i=1,...,n, u i =u'i .证明施归纳于u1 ...u n 的长度k.如果k=1, 则u1 ...u n 只有一个符号. 所以, n=1. 于是u1 ...u n =u1 且u'1 ...u'n =u'1 . 由于u1 和u'1 都是合式表达式, 它们只可能是变元或常元符号. 由于它们是可比较的, 所以u1 =u'1 .假定当k〈m时引理成立, 并设k=m.由于u1 是合式表达式, 我们可以把它写成vv1 ...v s , 其中v 是s 元符号, v1 ,...,v s 是合式表达式. 由上, u'1 和u1 是可比较的, v 也是u'1 的第一个符号. 于是, 由于u'1 是合式表达式, 它具有vv'1 ...v's 的形式. 由上所述的性质, v1 ...v s 和v'1 ...v's 是可比较的. 由于|v1 ...v s |<|u1 |≤|u1 ...u n |, 根据归纳假设, 对于一切j=1,...,s, v j =v'j , 所以, u1 =u'1 . 由此而得, u2 ...u n 和u'2 ...u'n 是可比较的, 且|u2 ...u n |<|u1 ...u n |, 所以, 由归纳假设, 对于一切i=2,...,n, u i =u'i .于是, 引理得证#(1.4) 唯一可读性定理每一个合式表达只能以唯一的方式写成uv1 ...v n 的形式, 其中, u 是n 元符号, v1 ,...,v n 是合式表达式.证明设w,w'是同一个合式表达式书写形式, 我们必须证明它们的结构是相同的. 首先, 它们必须都有相同的第一个符号,这样, u和n就唯一确定了, 从而, w=uv1...v n 且w'=uv'1...v'n, 其中v i ,v'j 是合式表达式(i,j=1,...,n). 我们还需证明对一切i=1,...,n, v i=v'i. 因为w 和w'是同一个表达式, 因而是可比较的. 于是, 根据引理(1.3), 对于一切i=1,...,n, v i=v'i #下面的定理说明如果一个合式表达式不可能由两个(或更多) 合式表达式的某些部分组成.(1.5) 引理合式表达式u中的任何符号w都是u中某一合式表达式的第一个符号.证明施归纳于u的长度k. 如果k=1, 则u是变元或常元符号. 于是任何在u中出现的符号就是u本身, 从而引理成立.假定当k<m时引理成立, 并设k=m.设u 是vv1 ...v n , 其中v是n元符号, v1 ,...,v n 是合式表达式. 如果w是v, 则它是u的第一个符号. 否则, 存在i=1,...,n, 使w 在v i 中出现. 由于|v i |<|u|, 根据归纳假设, w 是v i 中的某一合式表达式的第一个符号, 当然也是u中的某一合式表达式的第一个符号. 证完. #(1.6) 出现定理设u是n元符号, v1 ,...,v n 是合式表达式. 如果一个合式表达式v在uv1 ...v n 出现, 而且v不是整个uv1 ...v n , 则v在某一v i 出现.证明如果v的第一个符号就是定理中的u, 则v=uv'1 ...v'n , 其中v'1 ,...,v'n 是合式表达式, 且由定理条件, u和v是可比较的. 于是根据引理(1.3), 对于一切i=1,...,n, v i =v'i , 即v=uv1 ...v n . 矛盾.现假定v的第一个符号在某一v i 中出现. 根据引理(1.5), 该符号是某一合式表达式v'的第一个符号. 显然, v和v'是可比较的, 因而由引理(1.3), v=v', 即v在v i 中出现.4#为了方便起见, 我们今后将用大写字母A,B,...表示公式, 用f,g,...表示函数符号, 用p,q,...表示谓词符号, 用x,y,...表示变元, 用a,b,...表示常元符号.现在我们定义两类性质不同的变元, 即自由变元和约束变元.(1.7) 定义a) 如果x 在原子公式中出现, 则x是自由变元;b) 如果x是A 和B 中的自由变元, 且y 不是x, 则x 是⌝A, ∨AB和∃yA中的自由变元.a') x 是∃xA中的约束变元;b') 如果x是A 或B 中的约束变元, 则x 是⌝A, ∨AB和∃yA中的约束变元.注意: x可以在A 中既是自由变元又是约束变元.我们将用u[x/a]表示在表达式u 中将所有的自由变元x换成项a而得的表达式. 设A 是公式, 在很多情况下, A[x/a]关于a 所表示的含义与A 关于x所表示的含义是一样的, 但并非总是如此. 例如, 若A 是∃y=x2y, 而a 是y+1, 则A 是说x 是偶数, 但A[x/a]却不是说y+1是偶数. 这表明并非所有的代入都会保持原有的含义. 于是我们有下述定义:(1.8) 定义 a 被称为是在A 中可代入x的, 如果i) 如果A是原子公式，则a 是在A中可代入x 的；ii) 如果a 在B中可代入x 且对于a 中的任何变元y, ∃yB不含有自由变元x，则a 是在∃yB中可代入x 的；iii) 如果a 在A, B中可代入x, 则a 在⌝A和A∨B中是可代入x 的.今后, 当使用A[x/a] 时, 我们总是假定a是在A 中可代入x的. 类似地, 我们将用u[x1/ a1 ,...,x n/ a n ]表示在表达式u 中将所有的自由变元x1 ,...,x n 分别换成项a1 ,...,a n 而得的表达式, 同时还假定它们都是可代入的.在我们的一阶语言定义中项和公式的写法对于证明和理论分析比较方便, 但和通常的阅读方式不一致. 为了克服这一弱点, 我们引进一些定义符号:(A∨B) 定义为∨AB; (A→B) 定义为(⌝A∨B); (A&B) 定义为⌝(A→⌝B);(A↔B) 定义为((A→B)&(B→A)); ∀xA 定义为⌝∃x⌝A.注意: 定义符号只是为了方便而引进的记号, 它们不是语言中的符号. 当我们计算公式的长度时, 必须把它们换成原来的符号. 同样, 当用施归纳于长度或高度进行证明时也不能把它们作为符号来处理. 今后, 我们将在展示公式时用定义符号, 而在证明时用定义(1.1) 和(1.2).我们称:⌝A 为 A 的否定; A∨B 为 A 和B 的析取(A 或者B); A&B 为 A 和B 的合取(A并且B);A→B 为 A 蕴含B; A↔B 为A等价于B; ∃xA 为关于x的存在量词(存在x 使得A);∀xA 为关于x的全称量词(对一切x 使得A).作业:1) 施归纳于长度证明如果u是公式(项), x 是变元, a是项, 则u[x/a]是公式(项).2) 证明如果uv和vv'是合式表达式, 则v和v'中必有一个是空表达式.一阶理论的逻辑公理和规则形式系统的公理和规则可以分为两类: 逻辑公理和逻辑规则, 非逻辑公理和非逻辑规则. 逻辑公理和逻辑规则指的是那些所有形式系统都有的公理, 而非逻辑公理和非逻辑规则仅在5某些特定的形式系统中才有. 但是, 当形式系统足够丰富时,我们并不需要非逻辑规则. 假定在一个形式系统F 中有一条非逻辑规则使我们可以由B1 ,...,B n 推导出A, 只要F 有足够多的逻辑规则, 我们只需要在F 中加进一条公理B1 →...→B n →A (这里, B1 →...→B n →A表示B1 →(...→(B n →A)...).)就不再需要那条非逻辑规则了. 因此, 我们今后假定我们的形式系统中没有非逻辑规则. 今后我们将把逻辑规则简称为规则. 由于我们仅对形式系统进行一般讨论, 我们的兴趣主要是那些逻辑公理和规则.下面是逻辑公理:1) 命题公理: ⌝A∨A;2) 代入公理: A[x/a]→∃xA;3) 恒等公理: x=x;4) 等式公理: x1 =y1 →...→x n =y n →fx1 ...x n =fy1 ...y n ;或x1 =y1 →...→x n =y n →px1 ...x n →py1 ...y n .注意: 以上并不是仅有四条公理, 而是四类公理. 如命题公理并非一条公理, 而是对于任何公式A 我们有一条命题公理. 所以, 以上的公理实际上是公理模式.以下是规则:1) 扩展规则: 如果A, 则B∨A;2) 收缩规则: 如果A∨A, 则A;3) 结合规则: 如果A∨(B∨C), 则(A∨B)∨C;4) 切割规则: 如果A∨B且⌝A∨C, 则B∨C;5) ∃-引入规则: 如果A→B且x 不是B 中的自由变元, 则∃xA→B.如同上面的公理, 这些规则也不是五条规则, 而是五个规则模式.现在, 我们定义一阶理论如下:(1.9) 定义一个一阶理论T (简称理论T)是具有如下特征的形式系统:1) T 的语言L(T)是一阶语言;2) T 的公理是以上列出的四组公理和一些其它的非逻辑公理;3) T 的规则是以上列出的五组规则.由于一阶理论的逻辑符号, 逻辑公理和规则已经确定, 一阶理论之间的区别在于它们的非逻辑符号和非逻辑公理. 因此, 当我们希望讨论某一具体的一阶理论时只需要把它的非逻辑符号和非逻辑公理指明就行了.例.1) 数论NN 的非逻辑符号为: 常元0, 一元函数符号S, 二元函数符号+和*, 和二元谓词符号<. N 的非逻辑公理为:N1 Sx≠0; N2 Sx=Sy→x=y; N3 x+0=x; N4 x+Sy=S(x+y); N5 x*0=0;N6 x*Sy=(x*y)+x; N7 ⌝(x<0); N8 x<Sy↔x<y∨x=y; N9 x<y∨x=y∨y<x.2) 群GG 只有一个非逻辑符号, 即二元函数符号*. G 的非逻辑公理为:G1 (x*y)*z=x*(y*z); G2 ∃x(∀y(x*y=y)&∀y∃z(z*y=x)).根据我们在第一节所述, 一阶理论T 的定理可以定义为:1) 每一条命题公理, 代入公理, 恒等公理, 等式公理和非逻辑公理是定理;2) 如果A 是定理, 则A∨B是定理;3) 如果A∨A是定理, 则A 是定理;64) 如果A∨(B∨C) 是定理, 则(A∨B)∨C 是定理;5) 如果A∨B和⌝A∨C是定理, 则B∨C是定理;6) 如果A→B是定理且x 不是B 中的自由变元, 则∃xA→B是定理.与此对应, 我们可以用如下广义归纳法证明一阶理论T 中的定理都具有某一性质P:1) 每一条命题公理, 代入公理, 恒等公理, 等式公理和非逻辑公理具有性质P;2) 如果A 具有性质P, 则A∨B具有性质P;3) 如果A∨A具有性质P, 则A 具有性质P;4) 如果A∨(B∨C) 具有性质P, 则(A∨B)∨C 具有性质P;5) 如果A∨B和⌝A∨C具有性质P, 则B∨C具有性质P;6) 如果A→B具有性质P且x 不是B 中的自由变元, 则∃xA→B具有性质P.下面我们证明一阶理论的逻辑公理是相互独立的.(1.10) 定理一阶理论的逻辑公理和规则是互相独立的.证明当我们希望证明某一命题A 是独立于某个命题集Γ和规则集Δ时, 我们需要找到一个性质P 使A 不具有性质P, 而Γ中的每一命题具有性质P 且Δ中的每一规则保持性质P (即如果该规则的前提具有性质P, 则其结论具有性质P); 当我们希望证明某一规则R 是独立于Γ和Δ时, 我们需要找到一个性质P 使R 不保持性质P, 而Γ中的每一命题具有性质P 且Δ中的每一规则保持性质P. 这样就可以断言: 在由Γ为其公理集, Δ为其规则集的形式系统中, 每一定理都具有性质P. 由于A不具有性质P (或R 不保持性质P), 所以, A (或R)是不可能由Γ和Δ来证明的. 这样, A(或R)就独立于Γ和Δ了. 我们将根据这个思想来证明本定理.1) 对于命题公理. 定义f 如下:f(A)=T 若 A 是原子公式; f(⌝A)=F; f(A∨B)=f(B); f(∃xA)=T.可以证明: f(⌝⌝(x=x)∨⌝(x=x))=F, 而且对于任何可由其它的逻辑公理和规则证明的命题A, f(A)=T.2) 对于代入公理. 定义f 如下:f(A)=1 若A 是原子公式; f(⌝A)=1 如果f(A)=0, f(⌝A)=0 若f(A)=1;f(A∨B)=max{f(A),f(B)}; f(∃xA)=0.可以证明: f((x=x)→∃x(x=x))=0, 而且对于任何可由其它的逻辑公理和规则证明的命题A, f(A)=1.3) 对于恒等公理. 定义f 如下:f(A)=0 若A是原子公式; f(⌝A)=1 如果f(A)=0, f(⌝A)=0 若f(A)=1; f(A∨B)=max{f(A)},f(B); f(∃xA)=f(A).可以证明: f((x=x))=0, 而且对于任何可由其它的逻辑公理和规则证明的命题A, f(A)=1.4) 对于等式公理. 首先在L(T)中加进常元e1 ,e2 和e3 而得L'. 然后定义f 如下:f(e i =e j )=1 iff i≤j; f(⌝A)=1 如果f(A)=0, f(⌝A)=0 若f(A)=1; f(A∨B)=max{f(A),f(B)}; f(∃xA)=T iff 存在i 使f(A[x/e i ])=T .可以证明: f((x=y→x=z→x=x→y=z))=0, 而且对于任何可由其它的逻辑公理和规则证明的命题A, f(A[x/e i ])=1, 其中, x是A 中的自由变元.5) 对于扩展规则. 定义f 如下:f(A)=1 若 A 是原子公式; f(⌝A)=1 如果f(A)=0, 否则, f(A)=0; f(A∨B)=1 如果f(A)=f(⌝B), 否则f(A∨B)=0; f(∃xA)=f(A).可以证明: f((x=x∨(⌝(x=x)∨x=x)))=0, 而且对于任何可由其它的逻辑公理和规则证明的命题A, f(A)=1.6) 对于收缩规则. 定义f 如下:7f(A)=T 若 A 是原子公式; f(⌝A)=f(∃xA)=F; f(A∨B)=T.可以证明: f(⌝⌝(x=x))=F, 而且对于任何可由其它的逻辑公理和规则证明的命题A, f(A)=T.7) 对于结合规则. 定义f 如下:f(A)=0 若 A 是原子公式; f(⌝A)=1-f(A); f(A∨B)=f(A)*f(B)*(1-f(A)-f(B)); f(∃xA)=f(A).可以证明: f(⌝(⌝(x=x)∨⌝(x=x)))>0, 而且对于任何可由其它的逻辑公理和规则证明的命题A, f(A)=0.8) 对于切割规则. 定义f 如下:f(A)=1 若 A 是原子公式; f(⌝A)=1 如果f(A)=0或A是原子公式, 否则f(⌝A)=0; f(A∨B)=max{f(A),f(B)}; f(∃xA)=f(A).可以证明: f(⌝⌝(x=x)))=0, 而且对于任何可由其它的逻辑公理和规则证明的命题A, f(A)=1.9) 对于E-引入规则. 定义f 如下:f(A)=1 若A是原子公式; f(⌝A)=1 如果f(A)=0, f(⌝A)=0 若f(A)=1; f(A∨B)=max{f(A),f(B)}; f(∃xA)=T.可以证明: f(∃y⌝(x=x)→⌝(x=x))=0, 而且对于任何可由其它的逻辑公理和规则证明的命题A, f(A)=1.结构和模型现在我们讨论一阶理论的语义部分. 为此我们先引进一些集论的记号: 集合或类是把一些我们想要研究的对象汇集在一起, 从而我们可以把它看作是一个整体. 如果A 和B 是集合, 一个由A 到B 的映射 F (记作F: A→B)是一个A 和B 之间的对应, 在这个对应中A 中的每一个元素a 都对应着一个唯一的B中元素 b (称为F在a 上的值, 记作F(b) ). 我们把n个A 中元素按一定顺序排列而得的序列称为A 的一个n 元组, 并用(a1,...,a n )表示由A 中元素a1,...,a n 按此顺序排列的n 元组. 把由A 的所有n 元组成的集合记为A n, 然后把由A n 到B的映射称为由A 到B 的n元函数. 我们把A n 的子集称为A 上的n 元谓词. 如果P是A 上的n 元谓词, 则P(a1 ,...,a n )表示(a1 ,...,a n )∈P.真值函数根据我们对公式和项的定义, 我们可以先用函数符号和谓词符号以及变元构造一些简单的公式, 然后用联结词得到比较复杂的公式, 如"A 并且B" 等等. 我们用符号"&" 表示"并且", 即若A 和B 是公式, "A&B" 表示"A 和B同时成立".于是一个很自然的问题是怎样知道A&B 的真假? 这里, A&B 的一个很重要的特征是: 只需要知道A 和B 的真假就能确定A&B 的真假, 而不必知道A 和B 的具体含义. 为了表示这一特征, 我们引进真值. 真值是两个不同的字母T 和F, 而且当公式A 为真时, 我们用T 表示其真值; 当公式A 为假时, 我们用F 表示其真值. 于是, A&B 的真值就由A 和B 的真值确定了.有了真值的概念, 我们就可以定义真值函数了. 所谓的真值函数是由真值集T,F 到真值集T,F 的函数. 由此, 我们可以把以上的讨论叙述为: 存在二元真值函数H& 使得: 若a 和b 分别是A 和B 的真值, 则H& (a,b) 是A&B 的真值. 我们定义H& 为:H& (T,T)=T, H& (T,F)=H& (F,T)=H& (F,F)=F.我们用"∨" 表示"或者", 并定义H∨如下:8H∨(F,F)=F, H∨(T,F)=H∨(F,T)=H∨(T,T)=T.于是当a 和b 分别是A 和B 的真值时, H∨(a,b)就是A∨B的真值.我们用"→" 表示"如果...则...", 并定义H→如下:H→(T,F)=F, H→(F,F)=H→(F,T)=H→(T,T)=T.于是当a 和b 分别是A 和B 的真值时, H→(a,b)就是A→B的真值.我们用"↔" 表示"当且仅当", 并定义H↔如下:H↔(F,T)=H↔(T,F)=F, H↔(F,F)=H↔(T,T)=T.于是当a 和b 分别是A 和B 的真值时, H↔(a,b)就是A↔B的真值.我们用"⌝" 表示"非", 并定义H⌝如下:H⌝(F)=T, H⌝(T)=F.于是当a 是A 的真值时, H⌝(a)就是⌝A的真值.容易证明, &,→, 和↔可由⌝和∨定义. 事实上所有的真值函数都可以由⌝和∨定义.作业1. 证明: 任何真值函数f(a1 ,...,a n )都可以由H⌝和H∨定义.2. 设H d , H s 是真值函数, 其定义为:H d (a,b)=T 当且仅当a=b=F; H s (a,b)=F 当且仅当a=b=T.证明: 任何真值函数f(a1 ,...,a n )都可以由H d (或H s )定义.结构现在我们讨论一阶语言的语义部分(称为它的结构). 所谓一个语言的语义, 当然是表示该语言中所指称的对象范围和每一个词和句子所表达的含义. 一阶语言的语义也是如此. 如前定义, 一阶语言中的符号有函数符号和谓词符号, 这些都应在它的语义中有具体的含义. 把这些组合起来, 我们就可以得到如下定义:(1.11) 定义称三元组M=〈|M|,F,P〉是一个结构，如果:1) |M|是一个非空集合，它称为是L 的论域, |M| 中的元素称为是M 的个体;2) F是|M|上的函数集合;3) P是|M|上的谓词集合.定义设L是一阶语言，M是一个结构。

1.1数理逻辑

9
定义设无向图G=<V,E>, vi,vjV, ek,elE, 若(vi,vj) E, 则称vi,vj是彼此相邻的; 若 ek,el 至少有一个公共端点 , 则称 ek,el是相邻的. 对有向图有类似定义 . 设 ek=vi,vj 是有向图的一条边 , vi,vj 是 ek 端点 ,
又称vi是ek的始点, vj是ek的终点, vi邻接到vj, vj邻接于vi.
2m d (v ) d (v) d (v)
由于2m,
vV2
d (v)均为偶数，所以 d (v) 也为偶数,
vV1
vV
vV1
vV2
但因为
V1中顶点度数都为奇数，所以|V1|必为偶数.
14
定理设有向图D=<V,E>,V={v1,v2,…,vn}, E m ,则.
例2 判断下述每一对图是否同构: (1)
度数列不同不同构
28
a b c a d
e
v1 v2 v5
v4
v3 b
a b
29
c 彼德森图
d
c d
30
e
f
e,f不同构
31
如右图度数序列:5,3,3,3 出度序列:4,0,2,1 入度序列:1,3,1,2
16
握手定理的应用
例1 (3,3,3,4), (2,3,4,6,8)能成为图的度数序列吗? 解不可能. 它们都有奇数个奇数. 例2 已知图G有10条边, 4个3度顶点, 其余顶点的度数均小于等于2, 问G至少有多少个顶点? 解设G有n个顶点. 由握手定理, 43+2(n-4)210 解得 n 8
i 1
证 G中每条边（包括环）均有两个端点，所以在计算G 中各顶点度数之和时，每条边均提供2度，m条边共提供2m度. 有向图的每条边提供一个入度和一个出度, 故所有顶点入度之和等于出度之和等于边数.

数理逻辑

§1.1.4.命题翻译
解： 1. 李明是计算机系的学生，他住在312室或313室。首先用字母表示简单命题。 P:李明是计算机系的学生。 Q:李明住在312室。 R：李明住在313室。该命题符号化为：P ∧ (Q ⊕ R) 2. 张三和李四是朋友. 该命题符号化为：P
§1.1.2.命题联结词
命题联结词在使用中的优先级
运算时联结词的优先次序由高到低为: ¬,∧,∨,→, ↔。先括号内运算, 后括号外运算。运算符合运算符的优先顺序。联结词按从左到右的次序进行运算。例 • ¬P∨(Q∨R)可省去括号, ∨运算是可结合的。 • ( ¬P∨Q)∨R 可省去括号。 • P→(Ｑ→Ｒ)中的括号不能省去，因为→不满足结合律。
§1.1.2.命题联结词
例1 P: 我拿起一本书 Q: 我一口气读完了这本书 P→Q: 如果我拿起一本书，则我一口气读完了这本书。
通常称为形式蕴含即前提和结果有某种形式和内容上形式蕴含, 形式蕴含的联系。例2 P: 月亮出来了 Q: 3×3=9 P → Q: 如果月亮出来了, 则3×3=9。通常称为实质蕴含实质蕴含,即前提和结果可以有联系，也可以没实质蕴含有联系，只要满足条件命题的定义。
定义由真值表给出，如左图。
即：当且仅当Ｐ和Ｑ的真值均为Ｔ，则（ＰΛＱ）的真值为“Ｔ”。否则，其真值为Ｆ。注意：Ｐ和Ｑ是互为独立的，地位注意是平等的，Ｐ和Ｑ的位置可以交换而不会影响ＰΛＱ的结果。
P F/0 F/0 T/1 T/1
Q PΛ Q QΛP F/0 F/0 F/0 T/1 F/0 F/0 F/0 F/0 F/0 T/1 T/1 T/1
第一篇数理逻辑
逻辑学：研究推理的科学。逻辑学分为二类：
辩证逻辑：是研究事物发展的客观规律。形式逻辑：对思维的形式结构和规律进行研究。

数理逻辑1.1

第一章命题逻辑的基本概念1.1命题*数理逻辑是研究推理的数学分支, 推理由一系列陈述句组成. 例如: 因为3>2, 所以3≠2. 3>2和3≠2是两个可以判断真或假的陈述句, 称为命题.命题: 可以判断真假的陈述句称为命题.例1.1:1. 中国的首都是北京.2. 英国的首都是北京.3. 5―3=2.4. 如果你是人, 你就要呼吸.5. 广东省的人口比黑龙江省多.6. 起步走!7. 你好吗?8. 这幅画真美呀!9. x ≤y.1, 2, 3, 4, 5是命题, 6, 7, 8, 9不是命题.命题的真值: 作为命题陈述句所表达的判断结果称为命题的真值.真值只有两个取值: 真(T)或假(F). 我们用1表示真, 用0表示假.真命题: 真值为真的命题称为真命题.假命题: 真值为假的命题称为假命题.例子: 上例中1, 3, 4, 5为真命题, 2为假命题.命题“因为3>2, 所以3≠2”中3>2和3≠2不能分解成更简单的命题了.简单命题(原子命题): 不能分解成更简单的命题的命题称为简单命题(原子命题).复合命题: 由简单命题通过联结词联结而成的命题称为复合命题.例1.2:1. 因为3>2, 所以3≠2.2. 如果你是人, 你就要呼吸.3. 2是素数当且仅当3也是素数.4. 吴颖既用功又聪明.*悖论: 由真能推出假, 由假又能推出真, 从而既不能为真又不能为假的陈述句称为悖论.例1.3:1. 我这句话是假话.1.2 联结词*命题逻辑有5个联结词:如果……, 则…………并且…………或……并非…………当且仅当……设p和q为两个命题:(1) p∧q 表示p并且q(2) p∨q 表示p或q(3) ┐p 表示并非p(4) p→q 表示如果p, 则q .(5) p q 表示p当且仅当q联结词的真值表:(1表示T, 0表示F)p q p∧q p q p∨q 0 0 0 0 0 00 1 0 0 1 11 0 0 1 0 1 1 1 1 1 1 1 p ┐p0 110p q p→q p q p q 0 0 1 0 0 10 1 1 0 1 01 0 0 1 0 01 1 1 1 1 1*解释真值表*下面举例说明如何将复合命题用命题公式表示. 例1.4:(1) 吴颖既用功又聪明.(2) 吴颖不但用功而且聪明.(3) 吴颖虽然聪明但不用功.(4) 张辉与王丽都是三好学生.(5) 张辉与王丽是同学.解: 设p: 吴颖用功.q: 吴颖聪明.r: 张辉是三好学生.s: 王丽是三好学生.(1) p∧q; (2) p∧q; (3) q∧┐p; (4) r∧s; (5) 设t: 张辉与王丽是同学. t是简单命题.例1.5:(1) 张晓静爱唱歌或爱听音乐.(2) 张晓静只能挑选202或203房间.(3) 张晓静是江西人或安徽人.解: (1) 设p: 张晓静爱唱歌; q: 张晓静爱听音乐.公式为: p∨q .(2) 设p: 张晓静挑选202房间.q: 张晓静挑选203房间.公式为: (p∧┐q)∨(q∧┐p)(3) 设p: 张晓静是江西人. q: 张晓静是安徽人.公式为: (p∧┐q)∨(q∧┐p).例1.6:(1) 只要a能被4整除, 则a一定能被2整除.(2) 除非a能被2整除, 则a才能被4整除.(3) 除非a能被2整除, 否则a不能被4整除.(4) 只有a能被2整除, a才能被4整除.(5) 只有a能被4整除, a才能被2整除.解: 设p: a能被4整除; q: a能被2整除.(1)至(4), 公式均为: p→q , 为一真命题.(5) 公式为: q→p, 为一假命题. a=8时为真, a=6时为假.例1.7:(1) 3是无理数当且仅当加拿大为于亚洲.(2) 2+3 = 5的充要条件是3是无理数.(3) 若两圆O1, O2的面积相等, 则它们的半径相等; 反之亦然.解: (1) 设p: 3是无理数; 真值为1.q: 加拿大为于亚洲; 真值为0.公式为: p↔q , 真值为0.(2) 设p: 2+3 = 5 ; 真值为1.q: 3是无理数; 真值为1.公式为: p↔q , 真值为1.(3) 设p: 两圆O1, O2的面积相等;q: 两圆O1, O2的半径相等;公式为: p↔q ; 因为p→q和q→p真值都为1,故p↔q真值也为1.1.3 命题公式及其赋值命题常项(命题常元): 即真值确定的简单命题.命题变项命题变元):取值(真)或(假)的变元. *可以用命题变项表示真值可以变化的陈述句. 命题变项不是命题. 命题变项与命题常项的关系如同初等数学中变量与常量的关系.合式公式:定义1.1:(1) 单个和命题项是合式公式,并称为原子命题公式;(2) 若A是则(┐A)是合式公式;(3) 若A, B是合式公式, 则(A∧B), (A∨B),(A→B),(A B)是合式公式.(4)有限次地应用(1)―(3)形成的符号串是合式公式.合式公式也称为命题公式或命题形式, 简称为公式.子公式: 设A为合式公式, B为A中的一部分, 若B也是合式公式, 则B称为A的子公式.例1.8:((p→q)∧(q↔r)), ((p∧q)∧(┐r)), (p∧(q∨(┐r)))都是合式公式.而 pq→r, p→(r→q 不是合式公式.((p→q)∧(q↔r)), ((p∧q)∧(┐r))中(p→q), (┐r)是子公式.*1.归纳定义(递归定义)2.(┐A),(A∧B)等公式单独出现时, 外层的括号可以省去.写成┐A, A∧B 等.规定┐的优先级高于其它算符.例如: (p→q)∧(q↔r), (p∧q)∧┐r, p∧(q∨┐r)定义1.2: 设p1, p2, …, p n是出现在公式A中的全部命题变项, 给p1, p2, …, p n各指定一个真值, 称为对A的一个赋值或解释. 若指定的一组值使A为1, 则称这组值为A的成真赋值, 若使A为0, 则称这组值为A的成假赋值.*n个变元各有0和1两个不同的值, 共有2n组不同赋值.定义1.3: 将命题公式A在所有赋值下取值情况列成表, 称为A的真值表.*列真值表时, 对p1, p2, …, p n的每一组赋值列一行, 对A的每个子公式列出它在该组赋值下的真值.例1.9: (1) (┐p∧q)→┐r的真值表.p q r ┐p ┐r ┐p∧q (┐p∧q)→┐r0 0 0 1 1 0 10 0 1 1 0 0 10 1 0 1 1 1 10 1 1 1 0 1 01 0 0 0 1 0 11 0 1 0 0 0 11 1 0 0 1 0 11 1 1 0 0 0 1(2) (p∧┐p)↔(q∧┐q)的真值表p q ┐p ┐q p∧┐p q∧┐q (p∧┐p)↔(q∧┐q) 0 0 1 1 0 0 10 1 1 0 0 0 11 0 0 1 0 0 11 1 0 0 0 0 1(3) ┐(p→q)∧q∧r的真值表p q r p→q ┐(p→q) ┐(p→q)∧r ┐(p→q)∧q∧r 0 0 0 1 0 0 00 0 1 1 0 0 00 1 0 1 0 0 00 1 1 1 0 0 01 0 0 0 1 0 01 0 1 0 1 0 01 1 0 1 0 0 01 1 1 1 0 0 0定义1.4: 设A为任一公式.(1) 若A在它的各种赋值下取值均为真, 则称A是重言式或永真式.(2) 若A在它的各种赋值下取值均为假, 则称A是矛盾式或永假式.(3) 若A不是矛盾式, 则称A是可满足式.*上例中, (1)和(2)是可满足式, (2)式是重言式, (3)式是矛盾式. 例1.10: 重言式的例子: p∧(p→q)→qp q p→q p∧(p→q) p∧(p→q)→q0 0 1 0 10 1 1 0 11 0 0 0 11 1 1 1 1*n 个命题变项可以有无穷多种形式各异的公式.这些公式是否有无穷多种不同的真值表呢? 答案是否定的. n 个命题变项共有2n 个不同的赋值, 而任何公式, 在每一种赋值下只能取两个值:0或1. 于是n 个命题变项的公式的真值表只有n2222⨯⨯⨯=n 22 种不同的情况.故只有n22个不同的真值表, 因而必有无穷多个公式具有相同的真值表.例1.11: 下列各公式均含两个命题变项p 与q, 它们中哪些具有相同的真值表?(1) p →q; (2) p ↔q; (3) ┐(p ∧┐q); (4) (p →q)∧(q →p);(5) ┐q ∨p .p q p →q p ↔q ┐(p ∧┐q) (p →q)∧(q →p) ┐q ∨p 0 0 1 1 1 1 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1作业:1. 下列句子中,哪些是命题?在是命题的句子中, 哪些是简单命题?哪些是真命题?哪些命题的真值现在还不知道?(1) 中国有四大发明.(2) 5是无理数.(3) 3是素数或4是素数.(4) 2x + 3 < 5 (其中x是任意实数).(5) 你去图书馆吗?(6) 刘红与魏新是同学.(7) 这朵玫瑰花多美丽呀!(8) 不许吸烟!(9) 圆的面积等于其半径的平方乘 .(10) 只有6是偶数, 3才能是2的倍数.(11) 8是偶数的充分必要条件是8能被3整除(12) 2025年北京下大雪.2. 将下列命题符号化, 并指出其真值.(1) 只要2<1, 就有3<2.(2) 如果2<1, 则3≥2.(3) 只有2<1, 才有3≥2.(4) 除非2<1, 才有3≥2.(5) 除非2<1, 否则3<2.(6) 2<1仅当3<2.3. 写出下列公式的真值表, 哪些公式是可满足式?或重言式?或矛盾式?(1) p→(p∨q∨r)(2) ┐(q→r)∧r(3) ((p→q)∧(q→r))→(p→r)(4) (p→q)↔(r↔s)4. 设p: 2+3 = 5, q: 大熊猫产在中国, r: 2是有理数. 求下列复合命题的真值:(1) (p↔q)→r(2) (r→(p∧q))↔┐p(3) ┐r→(┐p∨┐q∨r)(4) (p∧q∧┐r)↔((┐p∨┐q)→r)。

高级数理逻辑第1讲

1学科介绍1.1 数理逻辑介绍1.1.1什么是数理逻辑？逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。

用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。

也叫做符号逻辑。

数理逻辑的内容：1、命题逻辑系统2、一阶谓词逻辑系统命题演算是研究关于命题如何通过一些逻辑连接词构成更复杂的命题以及逻辑推理的方法。

命题是指具有具体意义的又能判断它是真还是假的句子。

如果我们把命题看作运算的对象，如同代数中的数字、字母或代数式，而把逻辑连接词看作运算符号，就象代数中的“加、减、乘、除”那样，那么由简单命题组成复和命题的过程，就可以当作逻辑运算的过程，也就是命题的演算。

AA->B=~AvB:BA→(B→A)这样的逻辑运算也同代数运算一样具有一定的性质，满足一定的运算规律。

例如满足交换律、结合律、分配律，同时也满足逻辑上的同一律、吸收律、双否定律、狄摩根定律、三段论定律等等。

利用这些定律，我们可以进行逻辑推理，可以简化复和命题，可以推证两个复合命题是不是等价，也就是它们的真值表是不是完全相同等等。

命题演算的一个具体模型就是逻辑代数。

逻辑代数也叫做开关代数，它的基本运算是逻辑加、逻辑乘和逻辑费，也就是命题演算中的“或”、“与”、“非”，运算对象只有两个数0和1，相当于命题演算中的“真”和“假”。

逻辑代数的运算特点如同电路分析中的开和关、高电位和低电位、导电和截至等现象完全一样，都只有两种不同的状态，因此，它在电路分析中得到广泛的应用。

利用电子元件可以组成相当于逻辑加、逻辑成和逻辑非的门电路，就是逻辑元件。

还能把简单的逻辑元件组成各种逻辑网络，这样任何复杂的逻辑关系都可以有逻辑元件经过适当的组合来实现，从而使电子元件具有逻辑判断的功能。

因此，在自动控制方面有重要的应用。

谓词演算也叫做命题涵项演算。

在谓词演算里，把命题的内部结构分析成具有主词和谓词的逻辑形式，由命题涵项、逻辑连接词和量词构成命题，然后研究这样的命题之间的逻辑推理关系。

数理逻辑1.1 (2)

1.1.3 命题符号化
运用上述五个真值联结词将日常语言中的命题转化成数理逻辑中的形式命题的过程为命题符号化。命题符号化是运用数理逻辑解决实际问题的基本出发点。例1 小张既聪明又勤奋，所以他的学习成绩一直很好。解 P ：小张聪明。 Q ：小张勤奋。 R ：小张的学习成绩一直很好。符号化的结果为： (P∧Q) → R 例2 小王总是在图书馆看书，除非他病了或图书馆不开门。解 P：小王病了。 Q：图书馆开门。 R：小王在图书馆看书。符号化的结果为：R (P Q)
第1章命题演算 (Propositional calculus)
1.1 1.2 1.3 1.4 1.5 命题与真值联结词命题公式与真假性命题公式间的逻辑等价关系命题公式间的逻辑蕴涵关系命题演算的形式推理
1.1
命题与真值联结词
1.1.1 命题 1.1.2 真值联结词 1.1.3 命题符号化
• P为“黑板是黑的”，则P 是“黑板不是黑的” 。
2.
合取联结词
• 设P, Q是两个命题，P与Q的合取是一个新的命题，记为P∧Q。 • 符号∧称为合取联结词，简称合取词；称P∧Q为P与Q的合取式，称P, Q为该合取式的合取项。 • 它们的真假值关系由表2确定。
P
T T F F
Q
T F T F
P∧Q
1.
否定联结词
• 设P是一个命题，P的否定是一个新的命题，记为P。 • 符号称为否定联结词，简称否定词。称P为P的否定式。 • 它们的真假值关系由表1确定。
P T F P F T
表1 否定词之真值表
• P为“今天天气好”，则P 是“今天天气不好” 。 • P为“上海是一个大城市”，则P 是“上海不是一个大城市” 。

第一章数理逻辑

ห้องสมุดไป่ตู้
• 发展英国数学家布尔在1847年创立了布尔代数，
奠定了数理逻辑的基础。
1854年发表了《思维规律》这部杰作，他采用数学的方法处理逻辑推理，布尔代数的问世是数学史一个重要的里程碑。
布尔代数发明后没有受到人们的重视，布尔在他的杰作出版后不久就去世了。
数学家布尔
• 布尔，自学成才的典范。鞋匠的儿子，从小打工帮衬家用，原想做牧师，但生活所迫16岁做了中学教师。教书时自学牛顿的《数学原理》、拉格朗日的《解析函数论》和拉普拉斯的《天体力学》，虽没学位但成了数学教授。主要贡献是创立了布尔代数，在电子工程、计算机、数理逻辑中有很多应用。
例1.2 将下列命题符号化。
1）灯泡有故障或开关有故障。
p∨q
2）张晓静是江西人或安徽人。
p∨q
3）张晓静只能挑选202或203房间。（p ∧ ┐q) ∨(┐p ∧ q)
4）小明昨天做了二十或三十道习题。原子命题
排斥或有两种表示： 1）客观上不可能为真的，可符号化为如第二个小例； 2）可能会同时取真，应符号化为如第三个小例。
容。
例1.5 令 p：北京比天津人口多。 q：2+2＝4。 r：乌鸦是白色的。
求下列复合命题的真值： (1) ((┐p∧q)∨(p∧┐q))→r (2) (q∨r)→(p→┐r) (3) (┐p∨r) (p∧┐r)
解 p，q，r的真值分别为1，1，0，容易算出(1)， (2)，(3)的真值分别为1，1，0。
请问这个人说得对吗？他是怎么推导出来的呢？
第一章命题逻辑基本概念
1.1 命题与联结词命题表达判断的陈述句。
两个条件：（1）陈述句；（2）能判断真假。真值命题的结果。任何命题的真值都是唯一的。

数理逻辑

(P∧Q)∨(P∧Q)
(4)除非a能被2整除，否则a不能被4整除。解(4)设P：a能被2整除，Q：a能被4整除。则原命题符号化为：
“P是Q的充分条件”； “Q是P的必要条件”等。
2014-10-4
离散数学
29
条件联结词的例子
(1)只要天下雨，我就回家。 (2)只有天下雨，我才回家。 (3)除非天下雨，否则我不回家。 (4)仅当天下雨，我才回家。
解设P：天下雨。Q：我回家。则(1)符号化为P→Q。 (2)、(3)、(4)均符号化为Q→P
数理逻辑
本篇概要

数理逻辑是用数学方法(即通过引入表意符号)研究推理的学问。因此，数理逻辑又名符号逻辑。数理逻辑中最基本的内容包括命题逻辑和谓词逻辑。数理逻辑的创始人是德国哲学家、物理学家、数学家G.Leibniz(16461716)
2014-10-4
离散数学
2
命题逻辑
本章概要

命题逻辑，也称命题演算。主要研究以命题为基本单位构成的前提和结论之间的可推导关系。
③最外层的圆括号可以省略。
为了方便计，合式公式也简称公式。
2014-10-4
离散数学
38
命题符号化的步骤

分析出各简单命题，将它们符号化寻找合适的真值联结词使用联结词将简单命题联结起来，生成对复杂命题的符号化表示。
2014-10-4
离散数学
39
命题的翻译和符号化
将下列自然语言形式化: (1)小王边走边唱。
离散数学
14
联结词知识点

命题联结词的概念常用联结词
否定联结词“” 合取联结词 “∧” 析取联结词 “∨” 条件(蕴含)联结词“→ ” 双条件(等价)联结词“”

第一二章数理逻辑

3、等价式的证明
1）真值表法先分别列出A、B的真值表，若A、B命题公式对应的真值
P
Q P →Q
1 0 1 0 1 0 1 0
┐P ∨Q
1 0 1 1
若要证明命题公式A、B等价， 1 1 0 0
表中的所有真值指派真值均
相同，即可证明。
2）推导法利用基本等值式，可以对命题公式中的某些子公式用与其等价的命题公式进行等价代换，进而对原公式进行变换，最终使两命题公式变换为相同的命题公式。
注：合取范式求法和析取范式求法相同。
例3 (┐P →R) ∨ (P ∧ ┐Q) (P ∨ R) ∨ (P ∧ ┐Q) (P ∨ R) ∨ (P ∧ ┐Q) ((P ∨ R) ∨ P) ∧((P ∨ R) ∨ ┐Q) (P ∨ R ∨ P) ∧(P ∨ R∨ ┐Q) (P ∨ R) ∧(P ∨ ┐Q ∨ R)
三、主析取范式
1、相关概念
1）小项（布尔合取）设命题公式为A(p1,p2…pn) ，n个命题变元不可兼或其否定，并由合取联结词组成的符号串，即：每个命题变元不能与其否定同时出现，但必须出现且仅出现一次。 2）小项（布尔合取）与合取式区别。 3）小项性质：所有小项的吸取为永真，任意不同两个小项的合取为永假。 4）编码表示:m111 P ∧Q ∧R m101 P ∧ ┐ Q ∧R
4、应用
(1)等价式的证明，两个命题公式等价iff对于分量的任一组真值指派对应的命题公式真值都相等。
(2)命题公式类型的判断
1）重言式（永真式）：在命题公式A(p1,p2…pn)中，对命题公式A 的所有命题变元赋值（2 n次赋值），命题公式的真值都为1，则称公式为重言式。 2）矛盾式（永假式）：在命题公式A(p1,p2…pn)中，对命题公式A 的所有变元赋值（2 n次赋值），命题公式的真值都为0，则称公式为矛盾式。 3）如果A(p1,p2…pn)不是矛盾式，则A称可满足式。 ⑶主范式的求取，推理证明等。

数理逻辑1

如果p↔q是真，则p→q和q→p是真，反之亦然，因此p↔q也读作“p是q的充要条件”或“p当且仅当q”。
1.1 命题与命题联结词
• 五个联结词的真值表
联结词否定合取析取蕴含等价记号 ¬ ∧ ∨ → ↔ 表达式 ¬ p p∧q p∨q p→q p↔q 读法非p p且q p或q 若p则q 真值结果 ¬p为真当且仅当p为假 p ∧ q为真当且仅当 p，q同为真 p ∨ q为真当且仅当 p，q至少一个为真 p→q为假当且仅当p 为真q为假
简单命题 • 用“1”表示真，用“0”表示假
• 例如，令 • p： 2 是有理数，则 p 的真值为0， • q：2 + 5 = 7，则 q 的真值为1
1.1 命题与命题联结词
1.1.2 命题联结词
命题通常可以通过一些联结词复合而构成新的命题，这些联结词被称为命题联结词。用数学方法研究命题之间的逻辑关系时（也就是在命题演算中），这些联结词可以看作是运算符，因此也叫作逻辑运算符。常用的联结词有以下5个：
1.1 命题与命题联结词
• 例1-2：下列句子哪些是命题，判断命
题的真假。
(1):2是素数 (2):北京是中国的首都 (3):这个语句是假的 (4):x+y>0 (5):我喜欢踢足球 (6):地球外的星球上也有人 (7):明年国庆节是晴天 (8):把门关上 (9):你要出去吗？ (10):今天天气真好啊！
• 定义1.2（否定联结词）：设p是任一命题，复合命题“非p”
（或“p的否定”）称为p的否定式（Negation），记作¬p， “¬ ”为否定联结词。 ¬ p为真当且仅当p为假。
如：p：2是素数，则¬ p：2不是素数。
1.1 命题与命题联结词

高中数学第1章常用逻辑用语 1.1 1.1.2 四种命题 1.1.3 四种命题间的相互关系(教师

1.1.2 四种命题1.1.3四种命题间的相互关系学习目标核心素养1.了解命题的四种形式，能写出一个命题的逆命题、否命题和逆否命题．(重点)2．理解并掌握四种命题之间的关系及其真假性之间的关系．(易混点)3．能够利用命题的等价性解决有关问题．(难点)借助命题的等价性解题培养数学抽象、逻辑推理素养.1．四种命题的概念及结构(1)四种命题的概念对于两个命题，如果一个命题的条件和结论分别是另一个命题的结论和条件，那么把这样的两个命题叫做互逆命题，如果恰好是另一个命题的条件的否定和结论的否定，那么把这样的两个命题叫做互否命题，如果恰好是另一个命题结论的否定和条件的否定，那么把这样的两个命题叫做互为逆否命题，把第一个叫做原命题时，另三个可分别称为原命题的逆命题、否命题、逆否命题．(2)四种命题结构2．四种命题间的相互关系(1)四种命题之间的关系(2)四种命题间的真假关系原命题逆命题否命题逆否命题真真真真真假假真假真真假假假假假由上表可知四种命题的真假性之间有如下关系：①两个命题互为逆否命题，它们有相同的真假性；②两个命题为互逆命题或互否命题，它们的真假性没有关系．思考：(1)“a＝b＝c＝0〞的否定是什么？(2)在原命题、逆命题、否命题和逆否命题四个命题中，真命题的个数会是奇数吗？[提示](1)“a＝b＝c＝0〞的否定是“a，b，c至少有一个不等于0〞．(2)真命题的个数只能是0,2,4，不会是奇数．1．命题“假设m＝10，那么m2＝100〞与其逆命题、否命题、逆否命题这四个命题中，真命题是()A．原命题、否命题B．原命题、逆命题C．原命题、逆否命题D．逆命题、否命题C[原命题正确，那么逆否命题正确，逆命题不正确，从而否命题不正确．应选C．] 2．给出以下命题：①假设一个四边形的四条边不相等，那么它不是正方形；②假设一个四边形的对角互补，那么它内接于圆；③正方形的四条边相等；④圆内接四边形的对角互补；⑤对角不互补的四边形不内接于圆；⑥假设一个四边形的四条边相等，那么它是正方形．其中互为逆命题的有________；互为否命题的有______；互为逆否命题的有________．③和⑥，②和④①和⑥，②和⑤①和③，④和⑤[互为逆命题有③和⑥，②和④；互为否命题有①和⑥，②和⑤；互为逆否命题有①和③，④和⑤.]3．命题p ：假设x ＝π3，那么cos x ＝12，那么命题p 的逆命题为________；命题p 的否命题为________；命题p 的逆否命题为________．[答案] 假设cos x ＝12，那么x ＝π3 假设x ≠π3，那么cos x ≠12假设cos x ≠12，那么x ≠π3写出原命题的其他三种命题(1)假设sin α＝12，那么tan α＝3； (2)假设a ＋b 是偶数，那么a ，b 都是偶数；(3)等底等高的两个三角形是全等三角形；(4)当1<x <2时，x 2－3x ＋2<0；(5)假设ab ＝0，那么a ＝0或b ＝0.[解](1)逆命题：假设tan α＝3，那么sin α＝12. 否命题：假设sin α≠12，那么tan α≠ 3. 逆否命题：假设tan α≠3，那么sin α≠12. (2)逆命题：假设a ，b 都是偶数，那么a ＋b 是偶数．否命题：假设a ＋b 不是偶数，那么a ，b 不都是偶数．逆否命题：假设a ，b 不都是偶数，那么a ＋b 不是偶数．(3)逆命题：假设两个三角形全等，那么这两个三角形等底等高．否命题：假设两个三角形不等底或不等高，那么这两个三角形不全等．逆否命题：假设两个三角形不全等，那么这两个三角形不等底或不等高．(4)逆命题：假设x 2－3x ＋2<0，那么1<x <2.否命题：假设x ≤1或x ≥2，那么x 2－3x ＋2≥0.逆否命题：假设x2－3x＋2≥0，那么x≤1或x≥2.(5)逆命题：假设a＝0或b＝0，那么ab＝0.否命题：假设ab≠0，那么a≠0且b≠0.逆否命题：假设a≠0且b≠0，那么ab≠0.1．写出一个命题的逆命题、否命题、逆否命题的方法(1)写命题的四种形式时，首先要找出命题的条件和结论，然后写出命题的条件的否定和结论的否定，再根据四种命题的结构写出所求命题．(2)在写命题时，为了使句子更通顺，可以适当地添加一些词语，但不能改变条件和结论．2．写否命题时应注意一些否定词语，列表如下：原词语等于(＝)大于(>)小于(<)是都是至多有一个否定词语不等于(≠)不大于(≤)不小于(≥)不是不都是至少有两个原词语至少有一个至多有n个任意的任意两个所有的能否定词语一个也没有至少有(n＋1)个某一个(确定的)某两个某些不能[跟进训练]1．写出以下命题的逆命题、否命题和逆否命题，并判断它们的真假．(1)正数a的立方根不等于0；(2)在同一平面内，平行于同一条直线的两条直线平行．[解](1)原命题：假设a是正数，那么a的立方根不等于0，是真命题．逆命题：假设a的立方根不等于0，那么a是正数，是假命题．否命题：假设a不是正数，那么a的立方根等于0，是假命题．逆否命题：假设a 的立方根等于0，那么a 不是正数，是真命题．(2)原命题：在同一平面内，假设两条直线平行于同一条直线，那么这两条直线平行，是真命题．逆命题：在同一平面内，假设两条直线平行，那么这两条直线平行于同一条直线，是真命题．否命题：在同一平面内，假设两条直线不平行于同一条直线，那么这两条直线不平行，是真命题．逆否命题：在同一平面内，假设两条直线不平行，那么这两条直线不平行于同一条直线，真命题．四种命题的关系及真假判断否命题、逆否命题，在这4个命题中，真命题的个数为( )A ．0个B ．1个C ．2个D ．4个(2)判断命题“假设a ≥0，那么x 2＋x －a ＝0有实根〞的逆否命题的真假．[思路点拨](1)只需判断原命题和逆命题的真假即可． (2)思路一写出原命题的逆否命题→判断其真假思路二原命题与逆否命题同真同假(即等价关系)→判断原命题的真假→得到逆否命题的真假(1)C [当c ＝0时，ac 2>bc 2不成立，故原命题是假命题，从而其逆否命题也是假命题；原命题的逆命题为“假设ac 2>bc 2，那么a >b 〞是真命题，从而否命题也是真命题，应选C ．](2)[解] 法一：原命题的逆否命题：假设x 2＋x －a ＝0无实根，那么a <0.∵x 2＋x －a ＝0无实根，∴Δ＝1＋4a <0，解得a <－14<0， ∴原命题的逆否命题为真命题．法二：∵a≥0，∴4a≥0，∴对于方程x2＋x－a＝0，根的判别式Δ＝1＋4a>0，∴方程x2＋x－a＝0有实根，故原命题为真命题．∵原命题与其逆否命题等价，∴原命题的逆否命题为真命题．判断命题真假的方法(1)解决此类问题的关键是牢记四种命题的概念，正确地写出所涉及的命题，判定为真的命题需要简单的证明，判定为假的命题要举出反例加以验证.(2)原命题与它的逆否命题同真同假，原命题的否命题与它的逆命题同真同假，故二者只判断一个即可.[跟进训练]2．判断以下四个命题的真假，并说明理由．(1)“假设x＋y＝0，那么x，y互为相反数〞的否命题；(2)“假设x>y，那么x2>y2〞的逆否命题；(3)“假设x≤3，那么x2－x－6>0〞的否命题；(4)“对顶角相等〞的逆命题．[解](1)命题“假设x＋y＝0，那么x，y互为相反数〞的逆命题为“假设x，y互为相反数，那么x＋y＝0〞，那么逆命题为真命题，因为原命题的逆命题和否命题具有相同的真假性，所以“假设x＋y＝0，那么x，y互为相反数〞的否命题是真命题．(2)令x＝1，y＝－2，满足x>y，但x2<y2，所以“假设x>y，那么x2>y2〞是假命题，因为原命题与其逆否命题具有相同的真假性，所以“假设x>y，那么x2>y2〞的逆否命题也是假命题．(3)该命题的否命题为“假设x>3，那么x2－x－6≤0〞，令x＝4，满足x>3，但x2－x－6＝6>0，不满足x2－x－6≤0，那么该否命题是假命题．(4)该命题的逆命题为“相等的角是对顶角〞是假命题，如等边三角形的任意两个内角都相等，但它们不是对顶角．等价命题的应用[探究问题]1．命题“假设x≠1，那么x2－2x－3≠0〞的等价命题是什么，其命题真假如何？提示：等价命题为“假设x2－2x－3＝0，那么x＝1〞，其为假命题．2．当一个命题的条件与结论以否定形式出现时，为了研究方便，我们可以研究哪一个命题？提示：一个命题与其逆否命题等价，我们可研究其逆否命题．[例3]证明：函数f(x)是(－∞，＋∞)上的增函数，a，b∈R，假设f(a)＋f(b)≥f(－a)＋f(－b)，那么a＋b≥0.[思路点拨]证明其逆否命题成立⇒原命题成立．[证明]原命题的逆否命题为“函数f(x)是(－∞，＋∞)上的增函数，a，b∈R，假设a＋b<0，那么f(a)＋f(b)<f(－a)＋f(－b)〞．假设a＋b<0，那么a<－b，b<－a.∵f(x)在(－∞，＋∞)上是增函数，∴f(a)<f(－b)，f(b)<f(－a)，∴f(a)＋f(b)<f(－a)＋f(－b)．即原命题的逆否命题为真命题．∴原命题为真命题．1．假设一个命题的条件或结论含有否定词时，直接判断命题的真假较为困难，这时可以转化为判断它的逆否命题．2．当证明一个命题有困难时，可尝试证明其逆否命题成立．[跟进训练]3．判断命题“a，x为实数，假设关于x的不等式x2＋(2a＋1)x＋a2＋2≤0的解集是空集，那么a<2〞的真假．[解]原命题的逆否命题为“a，x为实数，假设a≥2，那么关于x的不等式x2＋(2a＋1)x ＋a2＋2≤0的解集不是空集〞．判断真假如下：抛物线y＝x2＋(2a＋1)x＋a2＋2的开口向上，根的判别式Δ＝(2a＋1)2－4(a2＋2)＝4a－7，因为a≥2，所以4a－7>0，即抛物线与x轴有交点，所以关于x的不等式x2＋(2a＋1)x＋a2＋2≤0的解集不是空集，故原命题的逆否命题为真，从而原命题为真．1．写四种命题时，可以按以下步骤进行：(1)找出命题的条件p和结论q；(2)写出条件p的否定¬p和结论q的否定¬q；(3)按照四种命题的结构写出所求命题．2．每一个命题都由条件和结论组成，要分清条件和结论．3．判断命题的真假可以根据互为逆否的命题真假性相同来判断，这也是反证法的理论基础．1．判断正误(1)命题“假设p，那么q〞的否命题为“假设¬p，那么¬q〞．( )(2)同时否定原命题的条件和结论，所得的命题是否命题．()(3)命题“假设A∩B＝A，那么A∪B＝B〞的逆否命题是“假设A∪B≠B，那么A∩B≠A〞．( )[答案](1)×(2)√(3)√2．命题“假设a>－3，那么a>－6〞以及它的逆命题、否命题、逆否命题中，真命题的个数为()A．1B．2C．3 D．4B[原命题是真命题，从而其逆否命题是真命题，其逆命题是“假设a>－6，那么a>－3〞，是假命题，从而其否命题也是假命题，故真命题的个数是2.]3．命题“假设m＞1，那么mx2－2x＋1＝0无实根〞的等价命题是________．假设mx2－2x＋1＝0有实根，那么m≤1[原命题的等价命题是其逆否命题，由定义可知其逆否命题为：“假设mx2－2x＋1＝0有实根，那么m≤1〞．]4．写出以下命题的逆命题、否命题、逆否命题，并判断真假．(1)假设a>b，那么ac2>bc2；(2)在二次函数y＝ax2＋bx＋c中，假设b2－4ac<0，那么该函数的图象与x轴无交点．[解](1)逆命题：假设ac2>bc2，那么a>b，真命题．否命题：假设a≤b，那么ac2≤bc2，真命题．逆否命题：假设ac2≤bc2，那么a≤b，假命题．(2)逆命题：在二次函数y＝ax2＋bx＋c中，假设图象与x轴无交点，那么b2－4ac<0，真命题．否命题：在二次函数y＝ax2＋bx＋c中，假设b2－4ac≥0，那么图象与x轴有交点，真命题．逆否命题：在二次函数y＝ax2＋bx＋c中，假设图象与x轴有交点，那么b2－4ac≥0，真命题．。

01 数理逻辑

第 1 章命题逻辑－＞1.2 逻辑联结词
• 定义1.2.3 设P、Q为两个命题，P和Q的析取(Disjunction)是一个复合命题，记为P∨Q（读作P或Q），称为P与Q的析取式。规定当且仅当P与Q同时为0时，P∨Q为0，否则 P∨Q均为1。 • 日常用语中的“或”，“要么…要么…‖等可用析取词表示。
• 定义是以递归的形式给出的，其中（1）称为基础，（2）、（3）称为归纳，（4）称为界限。定义中的符号A,B不同于具体公式里的P、Q、R等符号（一般P、Q、R来表示原子命题标识符），它可以用来表示任意的命题公式。
第 1 章命题逻辑－＞1.3 命题公式与翻译
• 命题公式是没有真假的,如果把公式中的命题变元代以确定的命题命题，则该公式便是一个命题，才有确定的真值。因此，对复合命题的研究可化为对公式的研究，今后我们将以公式为主要研究对象。 • 为了减少命题公式中使用括号的数量，规定：
第 1 章命题逻辑－＞1.1 命题及其表示
• 定义1.1.3 表示原子命题的符号称为命题标识符(Identifier)。 • 定义1.1.4 用一个确定的命题代入一个命题标识符（如 P），称为对P进行指派（赋值，或解释）。 • 如果命题标识符P代表命题常元则意味它是某个具体原子命题的符号化，如果P代表命题变元则意味着它可指代任何具体原子命题。本书中如果没有特别指明，通常来说命题标识符P等是指命题变元，即可指代任何原子命题。
• 定义1.4.3 设A为任一命题公式。
– （1）若对公式A的命题变元所有赋值均是成真指派，则公式A称为重言式或永真式； – （2）若对公式A的命题变元所有赋值均是成假指派，则公式A称为矛盾式或永假式； – （3）若公式A中至少有一个成真赋值，则公式A称为可满足式。

1.1.1-2高中数学

线为旋转轴，其余三边旋
转形成的面所围成的
_旋__转__体___ 叫做圆柱，
旋___转__轴_ 叫做圆柱的轴；
圆柱
_垂__直__于__轴__ 的边旋转而成的 _圆__面___ 叫做圆柱的底
面；平__行__于__轴__的边旋转而
成的曲面叫做圆柱的侧
面；无论旋转到什么位置
3．圆台侧面的母线长为 2a，母线与轴的夹角为 30°，一个底面的半径是另一个底面半径的 2 倍．求两底面的半径与两底面面积之和．
【解析】设圆台上底面半径为 r，则下底面半径为 2r，如图所示，∠ASO＝30°，
在 Rt△SA′O′中，SAr′＝sin 30°， ∴SA′＝2r.
在 Rt△SAO 中，S2Ar ＝sin 30°， ∴SA＝4r，∴SA－SA′＝AA′，即 4r－2r＝2a，r＝a. ∴S＝S1＋S2＝πr2＋π(2r)2＝5πr2＝5πa2. ∴圆台上底面半径为 a，下底面半径为 2a，两底面面积之和为 5πa2.
正解：图甲中的六个三角形没有一个公共点，故不是棱锥，只是一个多面体；图乙不是棱台，因为侧棱的延长线不能相交于同一点；图丙不是圆柱，因为上、下两面不平行(或不是由一个矩形旋转而成)；图丁不是由一个直角三角形旋转而成，故不是圆锥．
纠错心得：解此类问题应结合常见几何体的定义和特征，分析所给几何体的结构特征，这就要求我们掌握常见几何体的结构特征．
题型三空间几何体的简单计算【例 3】一个圆台的母线长为 12 cm，两底面面积分别为 4π cm2 和 25π cm2.求： (1)圆台的高； (2)截得此圆台的圆锥的母线长．
思路点拨：圆锥的轴截面是等腰梯形，利用等腰梯形的性质可求解．

1.1-1.2.2逻辑运算与逻辑函数

先非后与最后或11逻辑变量及其基本运算11逻辑变量及其基本运算二逻辑运算定义三逻辑代数公理一逻辑数三逻辑代数公理11逻辑变量及其基本运算第一章逻辑代数基础11逻辑变量及其基本运算12逻辑函数及其标准形式13逻辑代数主要定律和常用公式14逻辑函数化简12逻辑函数及其标准形式121逻辑函数的定义初等代数函数表达式
问
是合法的逻辑函数表达式吗？
1.2逻辑函数及其标准形式
1.2.1逻辑函数的定义 1.2.2逻辑函数的表与表达式的关系？
1.2逻辑函数及其标准形式
1.2.1逻辑函数的定义 1.2.2逻辑函数的表示法
已知真值表写表达式？已知表达式列真值表？
1.2逻辑函数及其标准形式
乔治· 布尔(George Boole，1815-1864)是英国数学家、哲学家。他深入钻研数学研究的逻辑问题，成功地建立了第一个逻辑演算，并由此创立了布尔代数，成为现代信息技术的数学基础。
1.1逻辑变量及其基本运算
一、逻辑数
二、逻辑运算定义三、逻辑代数公理
1.1逻辑变量及其基本运算
二、逻辑运算定义
数字电路：
第一章逻辑代数基础
1.1逻辑变量及其基本运算
1.2逻辑函数及其标准形式 1.3 逻辑代数主要定律和常用公式 1.4 逻辑函数化简
1.1逻辑变量及其基本运算
一、逻辑数二、逻辑运算定义
三、逻辑代数公理
1.1逻辑变量及其基本运算一、逻辑数
普通代数： 1+2+3.3-4*2/2 运算数无穷个，值任意，运算符号+-*/等。
第一章逻辑代数基础 1.1逻辑变量及其基本运算
1.2逻辑函数及其标准形式
1.3 逻辑代数主要定律和常用公式
1.4 逻辑函数化简

数理逻辑1.1-2

离散数学1-1,1-2

精品文档-离散数学(方世昌)-第1章

数理逻辑讲义

1.1数理逻辑

数理逻辑

数理逻辑1.1

高级数理逻辑第1讲

数理逻辑1.1 (2)

第一章数理逻辑

数理逻辑

第一二章数理逻辑

数理逻辑1

高中数学 第1章 常用逻辑用语 1.1 1.1.2 四种命题 1.1.3 四种命题间的相互关系(教师

01 数理逻辑

1.1.1-2高中数学

1.1-1.2.2逻辑运算与逻辑函数

高中数学第1章常用逻辑用语 1.1 1.1.2 四种命题 1.1.3 四种命题间的相互关系(教师