基本阶

1）?, ??(??)

“?”用于形容词、体词谓词形及“?(?, ?), ?”后，“??(??)”用于动词，开音节后用“??”，闭音节后用“??”。

（1）表示叙述。如：

??????????. 那飞机果然很快。

?????????????. 我也去车站接。

??????????????. 我不抽烟，也不喝酒。

?????????. 溪水潺潺地流着。

这时，也常用于以一般读者为对象的书面语中。

（2）随着语调的不同，有时也表示疑惑的语气。如：

??????? ?????. 他去？真不知是怎么回事。

?????? ??????.那事怎么办呢？真难办啊。

???(???)表示"出发点"

- ??(??) 表示"目的地"

总之，后面有?就是"出发点"，没有?的就是"目的地"

注：{??/?}用于地点，{???(???)/??(??)}用于人。

{???(???)/??(??)}常与{??/??}一起用：

?) ?????????????.

我收到朋友给的礼物。（礼物从朋友那来的）

???????????. 我给朋友礼物。（礼物到朋友那去的）

?与??的区别可就有点大了。

?是{??(??)}的敬语形，而??是{?/?}的敬语形，两者就没有出发点和目的地的关系了。

?) ????????????????. ????????????

???????.

老师从英国回来了，我打算打电话去问候。

（前面??是主格助词，后面?是方位助词，电话是打去老师那的。）“(?)????”

限定：接在用言后

?用在动词后面时，如果所回想的动作当时正在进行，要用“??

??”；如果当时动作已经结束，要用“?????”；

?当行为的主体就是说话本人时，则表示“回忆当时没能意识到的一些东西”。

大意：表示“说话人叙述以前经历过的事情”，用于说话人的记忆不确定的时候。

例句：?????????????

??. 比起姐姐来，妹妹好像更瘦些。

??????????????. 那个人好像已经结婚了。

补充说明：

1.“??

??”表示说话人所回想的动作当时正在进行，为了突出“正在进行”，常用“???????”的形式加以强调。

例句：?????????????????. 那个人好像记得我。

???????????????????. 我好像在海上捡到过木片。

2.主语第一人称时，“???”不与动词搭配使用，“??

??”也是如此。但是“???

??”表示回想已经结束的状态，所以可以与第一人称的主语搭配使用。

?在韩语里是一个常用的助词，它可以表示方向、时间、地点。

??表示地点，场所。

初学者在使用时容易把两者相混。不知道该用?还是??。二者在用法上区别如下：

1）首先表示"在...."时候

- ?+ ??/ ??这是固定搭配，意思是"在...地方/不在...地方" - ??后面则要加表示动作的动词，意思是"在...地方做什么事。" ?) ?????????. 我在图书馆。

????????????. 我在图书馆看书。

2）当表示方向的时候{+??/??}，两者的区别是：

- ??表示"出发点"

- ?表示"目的地"

?) ????????. 我来自中国。（中国是出发点）???????. 我来中国。（中国是目的地）

再比较下几个句子，大家体会一下：

??????? 在哪？

?????? 去哪？

??????? 从哪去的？

??????? 在哪买的？

离散数学第二章一阶逻辑知识点总结

数理逻辑部分 第2章一阶逻辑 2.1 一阶逻辑基本概念 个体词（个体）: 所研究对象中可以独立存在的具体或抽象的客体个体常项：具体的事物，用a, b, c表示 个体变项：抽象的事物，用x, y, z表示 个体域: 个体变项的取值范围 有限个体域，如{a, b, c}, {1, 2} 无限个体域，如N, Z, R, … 全总个体域: 宇宙间一切事物组成 谓词: 表示个体词性质或相互之间关系的词 谓词常项：F(a)：a是人 谓词变项：F(x)：x具有性质F 一元谓词: 表示事物的性质 多元谓词(n元谓词, n≥2): 表示事物之间的关系 如L(x,y)：x与y有关系L，L(x,y)：x≥y，… 0元谓词: 不含个体变项的谓词, 即命题常项或命题变项 量词: 表示数量的词 全称量词?: 表示任意的, 所有的, 一切的等 如?x 表示对个体域中所有的x

存在量词?: 表示存在, 有的, 至少有一个等 如?x表示在个体域中存在x 一阶逻辑中命题符号化 例1 用0元谓词将命题符号化 要求：先将它们在命题逻辑中符号化，再在一阶逻辑中符号化(1) 墨西哥位于南美洲 在命题逻辑中, 设p:墨西哥位于南美洲 符号化为p, 这是真命题 在一阶逻辑中, 设a：墨西哥，F(x)：x位于南美洲 符号化为F(a) 例2 在一阶逻辑中将下面命题符号化 (1)人都爱美; (2) 有人用左手写字 分别取(a) D为人类集合, (b) D为全总个体域 . 解：(a) (1) 设G(x)：x爱美, 符号化为?x G(x) (2) 设G(x)：x用左手写字, 符号化为?x G(x) (b) 设F(x)：x为人，G(x)：同(a)中

第四章-一阶逻辑基本概念

第四章一阶逻辑基本概念 【教学目的与要求】 1．掌握一阶逻辑的命题符号化； 2．理解谓词公式与解释。 【教学重点、难点】 个体词、谓词、量词；谓词公式及其解释。 【教学方法】：讲授法 【主要内容】 ●一阶逻辑命题符号化 个体词、谓词、量词 一阶逻辑命题符号化 ●一阶逻辑公式及其解释 一阶语言 合式公式 合式公式的解释 永真式、矛盾式、可满足式 【教学过程】 4.1 一阶逻辑命题符号化 1.个体词——所研究对象中可以独立存在的具体或抽象的客体。 个体常项：具体的事务，用a, b, c表示。 个体变项：抽象的事物，用x, y, z表示。 个体域(论域)——个体变项的取值范围。 有限个体域，如 {a, b, c}, {1, 2}； 无限个体域，如N, Z, R, …； 全总个体域——由宇宙间一切事物组成。 2.谓词——表示个体词性质或相互之间关系的词。 谓词常项如, F(a)：a是人 谓词变项如, F(x)：x具有性质F n（n1）元谓词 一元谓词(n=1)——表示性质； 多元谓词(n2)——表示事物之间的关系。 如, L(x,y)：x与y 有关系L，L(x,y)：x y，… 0元谓词——不含个体变项的谓词, 即命题常项或命题变项。 3.量词——表示数量的词 全称量词: 表示所有的. x : 对个体域中所有的x. 如, xF(x)表示个体域中所有的x具有性质F； x yG(x,y)表示个体域中所有的x和y有关系G。 存在量词: 表示存在, 有一个. x : 个体域中有一个x . 如, xF(x)表示个体域中有一个x具有性质F; x yG(x,y)表示个体域中存在x和y有关系G.

第四章一阶逻辑基本概念

第四章一阶逻辑基本概念【教学目的与要求】 1．掌握一阶逻辑的命题符号化； 2．理解谓词公式与解释。 【教学重点、难点】 个体词、谓词、量词；谓词公式及其解释。 【教学方法】：讲授法 【主要内容】 一阶逻辑命题符号化 个体词、谓词、量词 一阶逻辑命题符号化 一阶逻辑公式及其解释 一阶语言 合式公式 合式公式的解释 永真式、矛盾式、可满足式 【教学过程】 一阶逻辑命题符号化 1.个体词——所研究对象中可以独立存在的具体或抽象的客体。 个体常项：具体的事务，用a, b, c表示。 个体变项：抽象的事物，用x, y, z表示。 个体域(论域)——个体变项的取值范围。 有限个体域，如{a, b, c}, {1, 2}； 无限个体域，如N, Z, R, …； 全总个体域——由宇宙间一切事物组成。 2.谓词——表示个体词性质或相互之间关系的词。

谓词常项如, F(a)：a是人 谓词变项如, F(x)：x具有性质F n（n1）元谓词 一元谓词(n=1)——表示性质； 多元谓词(n2)——表示事物之间的关系。 如, L(x,y)：x与y 有关系L，L(x,y)：x y，… 0元谓词——不含个体变项的谓词, 即命题常项或命题变项。 3.量词——表示数量的词 全称量词: 表示所有的. x : 对个体域中所有的x. 如, xF(x)表示个体域中所有的x具有性质F； x yG(x,y)表示个体域中所有的x和y有关系G。 存在量词: 表示存在, 有一个. x : 个体域中有一个x . 如, xF(x)表示个体域中有一个x具有性质F; x yG(x,y)表示个体域中存在x和y有关系G. x yG(x,y)表示对个体域中每一个x都存在一个y使得x和y有关系G; x yG(x,y)表示个体域中存在一个x使得对每一个y, x和y有关系G. 例1 用0元谓词将命题符号化 (1) 墨西哥位于南美洲; (2) 2是无理数仅当3是有理数; (3) 如果2>3，则3<4. 解：在命题逻辑中： (1) p, p为墨西哥位于南美洲（真命题）. (2) p→q, 其中, p:2是无理数，q：3是有理数. 是假命题. (3) p q, 其中，p：2>3，q：3<4. 是真命题.