?? 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 + -