📄 content-2-1-2.htm
字号:
<html>
<head>
<title>Untitled Document</title>
<meta http-equiv="Content-Type" content="text/html; charset=gb2312">
</head>
<body bgcolor="#FFFFFF" background="IMAGE/di.gif">
<table width="100%" border="0" cellspacing="0" cellpadding="0">
<tr>
<td>
<p style="line-height: 150%" align="center"><font size="5"><b>谓
词</b></font> </p>
<p style="line-height: 150%"><b>1、谓词</b> <br>
用来描述或判定<a href="content-2-1-1.htm">个体</a>性质、特征或者<a href="content-2-1-1.htm">个体</a>之间关系的词项。<br>
例如：<br>
"猫是动物"一句中的"是动物"就是一个谓词，而"猫"是<a href="content-2-1-1.htm">个体</a>。<br>
"3 大于 2"中"大于"是一个谓词。<br>
</p>
<p style="line-height: 150%"> <b>2、谓词常项</b><br>
表示某个确定判定的谓词称为谓词常项。如上述两个谓词"是动物"、"大于"。<br>
</p>
<p style="line-height: 150%"><b>3、<a name="content-2-1-2-weicibianyuan"></a>谓词变项</b> <br>
尚未确定的谓词称为谓词变项。通常用大写的英文字母表示谓词.
</p>
<p style="line-height: 150%">例如 用 P（3，2）记一个谓词变项，可以表示 "3 大于 2"、"3 小于 2"等等。
</p>
<p style="line-height: 150%"><b>4、1元谓词</b>
</p>
<p style="line-height: 150%">
表示一个个体变元所具有的性质、特点的谓词称为1元谓词。
</p>
<p style="line-height: 150%">如：F表示“……是素数”，则F（2）表示“2是素数”。
</p>
<p style="line-height: 150%"><b>5、n 元谓词</b> <br>
在一个命题中，若有 n 个个体名称与谓词相联系，则称该谓词为 n 元谓词。<br>
如上述命题“3 大于 2”中的谓词“大于”与两个个体联结，是一个二元谓词。<br>
用 H(x,y) 表示"x绕着y转",也是一个二元谓词。 </p>
<p style="line-height: 150%"><b>6、命题的谓词表达式</b> </p>
<p style="line-height: 150%">
给谓词变元适当的假设，并将谓词中的命题变元用常元代替，即得到命题的谓词表达式。 </p>
<p style="line-height: 150%">例如：设H(x,y)
表示"x绕着y转",a表示“地球”，b表示“太阳”<br>
则H(a,b)表示"地球绕着太阳转"。 </p>
<p style="line-height: 150%"> </p>
<p style="line-height: 150%"><b>注：谓词与函数的比较</b> </p>
<div align="center">
<center>
<table border="1" width="91%" height="85">
<tr>
<td width="14%" bgcolor="#00FF00" align="center" height="35"><font color="#000080"><b>代数</b></font></td>
<td width="29%" bgcolor="#00FF00" align="center" height="35"><font color="#000080"><b>自变量（常数）</b></font></td>
<td width="15%" bgcolor="#00FF00" align="center" height="35"><font color="#000080"><b>函数</b></font></td>
<td width="18%" bgcolor="#00FF00" align="center" height="35"><font color="#000080"><b>函数值</b></font></td>
<td width="24%" bgcolor="#00FF00" align="center" height="35"><font color="#000080"><b>定义域</b></font></td>
</tr>
<tr>
<td width="14%" bgcolor="#00FFFF" align="center" height="38"><b>逻辑</b></td>
<td width="29%" bgcolor="#00FFFF" align="center" height="38"><b>个体变元（常元）</b></td>
<td width="15%" bgcolor="#00FFFF" align="center" height="38"><b>谓词</b></td>
<td width="18%" bgcolor="#00FFFF" align="center" height="38"><b>命题</b></td>
<td width="24%" bgcolor="#00FFFF" align="center" height="38"><b>个体域</b></td>
</tr>
</table>
</center>
</div>
</td>
</tr>
</table>
<p style="line-height: 150%"> </p>
<p style="line-height: 150%"> </p>
<p style="line-height: 150%"> </p>
<p style="line-height: 150%"> </p>
<p style="line-height: 150%"> </p>
<p style="line-height: 150%"> </p><p align="right"><b><a href="contentFrame-mulu.htm"><<back</a></b>
</body>
</html>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -