📄 content-1-3.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"><font size="5"><b>推 理</b></font></p>
<p style="line-height: 150%"> 在命题逻辑中，除了利用等价关系来判定满足性的判定问题之外，还有一个重要的论题：
</p>
<p style="line-height: 150%"> <b>推理</b> ：推理关心的是命题 A 是否永真蕴含命题
B。
</p>
<p style="line-height: 150%"> 推理也可以从看成是另一种判定问题：给定前提集合和一个结论，判定由给定前提是否能推导出该结论。
</p>
<p style="line-height: 150%">
</p>
<p style="line-height: 150%">有两类进行推理的方法： <br>
一、<a href="content-1-3-1.htm">真值表技术</a><br>
二、<a href="content-1-3-2.htm">基于推理规则</a><br>
</p>
<p style="line-height: 150%">本节分别介绍相关的知识。 </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%"> </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 + -