📄 content-2-2-1.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> </p>
<p style="line-height: 150%"><b>1、遍及个体域E等价</b><br>
给定任何两个谓词公式A和B,E是它们共同的个体域。在公式A和B中，若用确定的命题取代各个命题变元，并给谓词公式的每个个体变元指派E中的每一个个体名称，由公式A和B所得到的命题都具有同样的真值，则称谓词公式A和B遍及E是等价的，并记作遍及E有A<img src="image/dengjia.gif" width="17" height="9">
B。</p>
<p style="line-height: 150%"> <b>2、等价</b><br>
给定任何两个谓词公式A和B,E是它们共同的个体域。如果对于任意的个体域E，都有公式A和B遍及E等价，则称谓词公式A和B是等价的，记作A<img src="image/dengjia.gif" width="17" height="9">
B。</p>
<p style="line-height: 150%">
即：在任何一组解释下面公式A、B的真值都是相同的。</p>
<p style="line-height: 150%"> </p>
<p style="line-height: 150%"><a name="yongzhen"></a><b>二、谓词公式的永真</b></p>
<p style="line-height: 150%"><br>
<b>1、在个体域E中永真</b> <br>
给定任何谓词公式A,E是它的个体域。若对A中的每一个命题变元都进行命题指派，并给谓词公式中的个体变元指派E中的每一个个体名称，由A所得到的命题都具有真值T，则称谓词公式A在E中是永真的。 </p>
<p style="line-height: 150%"></p>
<p style="line-height: 150%"><b>2、永真</b> <br>
给定任何谓词公式A，若A对任意个体域E来说都是永真的，则称谓词公式A是永真的。 </p>
<p style="line-height: 150%">
即：公式A对于任何的解释都是成立的。 </p>
<p style="line-height: 150%"></p>
<p style="line-height: 150%"> </p>
<p style="line-height: 150%"><b>三、谓词公式的可满足</b> </p>
<p style="line-height: 150%"><b>1、谓词公式对于个体域E是可满足的</b> <br>
给定任何谓词公式A，E是它的个体域。对A中的每一个命题变元都进行命题指派，若在个体域中存在一些个体名称，使得当把这些个体名称指派给个体变元时，由A所得到的命题具有真值T，则称谓词公式A在E中是可满足的。 </p>
<p style="line-height: 150%"><b>2、谓词公式对于个体域E是不可满足的</b> <br>
给定任何谓词公式A，E是它的个体域。对A中的每一个命题变元都进行命题指派，若对于个体域中的所有个体名称A进行指派时，由A所得到的命题都不具有真值T，则称谓词公式A在E中是不可满足的。 </p>
<p style="line-height: 150%"> </p>
<p style="line-height: 150%"> </p>
<p style="line-height: 150%"> </p>
</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 align="right"><b><a href="contentFrame-mulu.htm"><<back</a></b>
</body>
</html>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -