📄 help.htm.html
字号:
<html>
<head>
<title>使用帮助文档</title>
<meta http-equiv="Content-Type" content="text/html; charset=gb2312">
<style type="text/css">
<!--
.h7 { font-family: "宋体"; font-size: 16px; color: #990000}
.text { font-family: "宋体"; font-size: 12px; line-height: 18px}
-->
</style>
</head>
<body bgcolor="#FFFFFb" text="#000000" background="images/cdbg.gif">
<div align="center">
<table width="600" border="0" cellspacing="1" cellpadding="0" bgcolor="#000000">
<tr>
<td height="40" bgcolor="#FFCC00">
<div align="center"><b><font color="#3300FF" class="h7">使用帮助文档</font></b></div>
</td>
</tr>
<tr>
<td height="40" background="images/cdbg.gif">
<div align="center">
<table width="600" border="0" cellpadding="0" cellspacing="0" class="text">
<tr>
<td width="4%"> </td>
<td width="91%"> </td>
<td width="5%"> </td>
</tr>
<tr>
<td width="4%"> </td>
<td width="91%">化为子句集的通用程序:</td>
<td width="5%"> </td>
</tr>
<tr>
<td width="4%"> </td>
<td width="91%"> </td>
<td width="5%"> </td>
</tr>
<tr>
<td width="4%"> </td>
<td width="91%"><font size=+1 class="text">该程序可以按课程中叙述的九步法，把任意谓词演算公式化为一个子句集，但是要符合下列约束：</font></td>
<td width="5%"> </td>
</tr>
<tr>
<td width="4%"> </td>
<td width="91%"> </td>
<td width="5%"> </td>
</tr>
<tr>
<td width="4%"> </td>
<td width="91%">1、只能用一个字母作变量，例如A∨B是合法的，但是fx∨fy是非法的。</td>
<td width="5%"> </td>
</tr>
<tr>
<td width="4%"> </td>
<td width="91%"> </td>
<td width="5%"> </td>
</tr>
<tr>
<td width="4%"> </td>
<td width="91%">2、要把存在量词和全称量词与其对应的变元用小括号括起来。例如：(<img src="images/cun-zai_black.gif" width="10" height="12">x)A，(<img src="images/quang-cheng_black.gif" width="10" height="12">x)A都是合法的，而<img src="images/cun-zai_black.gif" width="10" height="12">xA，<img src="images/quang-cheng_black.gif" width="10" height="12">xA是非法的。</td>
<td width="5%"> </td>
</tr>
<tr>
<td width="4%"> </td>
<td width="91%"> </td>
<td width="5%"> </td>
</tr>
<tr>
<td width="4%"> </td>
<td width="91%">3、程序不考虑算符的优先级，所以在输入的时候要显式地用括号来规定优先级，可用大、中、小括号，但一定要匹配，例如：A∧B∧C，要写成（A∧B）∧C或A∧（B∧C）。但（A∨B）∨C可以写成A∨B∨C。</td>
<td width="5%"> </td>
</tr>
<tr>
<td width="4%"> </td>
<td width="91%"> </td>
<td width="5%"> </td>
</tr>
<tr>
<td width="4%"> </td>
<td width="91%">4、该程序不对公式进行消解。
</td>
<td width="5%"> </td>
</tr>
<tr>
<td width="4%"> </td>
<td width="91%"> </td>
<td width="5%"> </td>
</tr>
<tr>
<td width="4%"> </td>
<td width="91%">5、最后得到的子句分别用中括号括起来。</td>
<td width="5%"> </td>
</tr>
<tr>
<td width="4%"> </td>
<td width="91%"> </td>
<td width="5%"> </td>
</tr>
</table>
<b></b></div>
</td>
</tr>
</table>
<br>
</div>
<p> </p>
</body>
</html>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -