📄 content-2-1-4.htm
字号:
<html>
<head>
<title>Untitled Document</title>
<meta http-equiv="Content-Type" content="text/html; charset=gb2312">
<style type="text/css">
<!--
.unnamed1 { font-size: 9pt; line-height: 15pt}
.unnamed2 { font-size: 10pt; font-weight: bold}
-->
</style>
</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"><b><font size="5">谓 词 公
式</font></b> </p>
<p style="line-height: 150%"><b>原子谓词公式</b> <br>
只含有一个<a href="content-2-1-2.htm">谓词</a>的公式称为谓词演算的原子公式，或原子谓词公式。<br>
</p>
<p style="line-height: 150%"><b>复合谓词公式</b> <br>
含有多个<a href="content-2-1-2.htm">谓词</a>的公式为复合谓词公式。<br>
</p>
<p style="line-height: 150%"> 在谓词逻辑中，感兴趣的不是全部的谓词公式，而是其中的一个子类，这一类常称为合式谓词公式，或合式公式。<br>
</p>
<p style="line-height: 150%"><b>合式公式</b> </p>
<p style="line-height: 150%"> 当且仅当按下列规则生成的公式才是合式公式： <br>
(1)原子谓词公式是一个合式公式；<br>
(2)如果A是一个合式公式，则<img src="image/fei.gif" width="10" height="5">A也是一个合式公式；
<br>
(3)如果A和B是合式公式，则(A<img src="image/xiqu.gif" width="9" height="15">B)，(A<img src="image/hequ.gif" width="9" height="11">B），(A<img src="image/yunhan.gif" width="15" height="9">B)和(A<img src="image/dengtong.gif" width="16" height="9">B)都是合式公式；
<br>
(4)如果A是合式公式，x是任何个体变元，则<img src="image/renyi.gif" width="9" height="11">xA和<img src="image/cunzai.gif" width="7" height="11" >xA都是合式公式；<br>
(5)只有按规则（l）至（4）求得的那些公式，才是合式公式。 </p>
<p style="line-height: 150%">如:<img src="image/renyi.gif" width="9" height="11">x(M(x)<img src="image/yunhan.gif" width="15" height="9">F(x))
<img src="image/cunzai.gif" width="7" height="11" >x(M(x)<img src="image/hequ.gif" width="9" height="11">G(x)) </p>
</td>
</tr>
</table>
<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 + -