content-2-3.htm

来自「实用的离散数学课件」· HTM 代码 · 共 52 行

<html>
<head>
<title>Untitled Document</title>
<meta http-equiv="Content-Type" content="text/html; charset=gb2312">
<style type="text/css">
<!--
.unnamed1 {  line-height: 15pt; font-size: 9pt}
-->
</style>
</head>

<body bgcolor="#FFFFFF" background="IMAGE/di.gif">

<p>　</p>

<table width="100%" border="0" cellspacing="0" cellpadding="0">
  <tr>
    <td  >
      <p align="center"><b>推 理 理 论</b>
      <p><b>&nbsp;&nbsp;&nbsp; </b>在一阶逻辑中,推理的形式为:H1<img src="image/hequ.gif" width="9" height="11">H2<img src="image/hequ.gif" width="9" height="11">...<img src="image/hequ.gif" width="9" height="11">Hm<img src="image/yunhan.gif" width="15" height="9">C为永真式,则推理C为H1,H2,...,Hm的有效结论,H1,H2,...,Hm为一阶逻辑中的合式公式.</p>
      <p>&nbsp;&nbsp;&nbsp; 本节把命题演算中的一些永真蕴含基本定律加以推广，扩展到谓词演算中，得到了一些谓词演算中的永真蕴含基本定律。同时给出了谓词演算中由于量词而独有的一些永真蕴含式。最后介绍了谓词逻辑的推理规则。</p>
 </td>
  </tr>
</table>
<table width="75%" border="0" cellspacing="0" cellpadding="0" height="85">
  <tr> 
    <td width="8%"   height="37"> 
      <div align="center"><img src="IMAGE/dian-zhong.gif" width="31" height="32"></div>
    </td>
    <td width="15%"   height="37"> 
      <div align="center">本节重点：</div>
    </td>
    <td width="77%"   height="30"> 
      <div align="left">基于谓词逻辑的推理</div>
    </td>
  </tr>
  <tr> 
    <td width="8%"   height="30"> 
      <div align="center"><img src="IMAGE/dian-nan.gif" width="31" height="32"></div>
    </td>
    <td width="15%"   height="30"> 
      <div align="center">本节难点：</div>
    </td>
    <td width="77%"   height="30"> 
      <div align="left">推理中量词的变化</div>
    </td>
  </tr>
</table>
<p style="line-height: 150%">&nbsp;</p><p align="right"><b><a href="contentFrame-mulu.htm">&lt;&lt;back</a></b>
</body>
</html>