📄 content-1-2.htm
字号:
<html>
<head>
<title>Untitled Document</title>
<meta http-equiv="Content-Type" content="text/html; charset=gb2312">
<style type="text/css">
</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="4">判 定 问 题</font></b></p>
<p style="line-height: 150%"> 以有限步骤，来决定命题公式</a>的永真性</a>、永假性</a>或可满足性</a>的问题，在逻辑上称为判定问题。判定问题的解决基于命题演算，一般有两个途径：<br>
1.基于命题演算进行推导，看该命题是否和一个已知的永真、永假或可满足命题具有等价关系</a>。<br>
2.把命题化为某种标准形式----范式</a>，范式</a>具有很明显的永真性</a>、永假性</a>或可满足性</a>。 </p>
<p style="line-height: 150%"> 本节介绍判定问题的上述两个解决途径中的相关内容。 </p>
<p style="line-height: 150%"> </p>
</td>
</tr>
</table>
<table width="98%" 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="13%" height="37">
<div align="center">本节重点：</div>
</td>
<td width="79%" 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="13%" height="30">
<div align="center">本节难点：</div>
</td>
<td width="79%" 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 + -