📄 content-1-0.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%" ><font> 命题逻辑是数理逻辑的基本组成部分，是<a href="content-2-0.htm">谓词逻辑</a>的基础。数理逻辑又名符号逻辑，是一门用数学方法研究推理过程的科学。逻辑学主要是研究各种论证。它可以是有意义的一般论证，也可以是科学理论中的数学证明或结论。建立逻辑学的主要目的在于探索出一套完整的规则，按照这些规则，就可以确定任何特定论证是否有效。这些规则，通常称为推理规则。在逻辑学中，与其说注重的是论证本身，不如说注重的是论证形式。同其它科学理论一样，也可以把推理理论公式化。这样，依据各项规则并使用机械方法，不难确定论证的有效性。使用这种方法进行推理时，所遵循的规则一定不能具有二义性。为了表述任何成套规则或者理论，都需要为它配置一种语言。具有二义性的自然语言，不可能正确地和充分地表述上述的规则或理论。为此，首先应该制定一种形式语言，或者称为客观语言。在这种形式语言中，必须明确地和严格地定义好它的语义和语法。为了避兔二义性，在形式语言中将使用一些符号，并给这些符号作出明确的定义。使用符号还有另外的意义，符号很容易书写和处理。由于在逻辑学中使用了符号，故数理逻辑也称为符号逻辑。这一章主要是叙述形式语言的制定和分析。在开关理论和计算机的逻辑设计中，这种形式语言得到了卓有 </font> <font>成效的应用。 </font> <font>
</font></p>
</td>
</tr>
</table>
<table width="75%" border="0" cellspacing="0" cellpadding="0" height="85">
<tr>
<td width="8%" height="37">
<div align="center">
<p style="line-height: 150%"><img src="IMAGE/dian-zhong.gif" width="31" height="32"></div>
</td>
<td width="15%" height="37">
<div align="center">
<p style="line-height: 150%">本章重点：</div>
</td>
<td width="77%" height="30">
<div align="left">
<p style="line-height: 150%">命题公式、命题间的关系、基于命题的推理</div>
</td>
</tr>
<tr>
<td width="8%" height="30">
<div align="center">
<p style="line-height: 150%"><img src="IMAGE/dian-nan.gif" width="31" height="32"></div>
</td>
<td width="15%" height="30">
<div align="center">
<p style="line-height: 150%">本章难点：</div>
</td>
<td width="77%" height="30">
<div align="left">
<p style="line-height: 150%">基于命题的推理</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 + -