📄 content-2-3-2.htm
字号:
<html>
<head>
<title>Untitled Document</title>
<meta http-equiv="Content-Type" content="text/html; charset=gb2312">
</head>
<body bgcolor="#FFFFFF" background="IMAGE/di.gif">
<table width="100%" border="0" cellspacing="0" cellpadding="0">
<tr>
<td>
<p align="center" style="line-height: 200%"><b>举 例</b></p>
<p style="line-height: 200%"><b>
在使用上述规则时,一定要注意各条规则所要求条件及量词的辖域.</b></p>
<p style="line-height: 200%"><b>例1.在自然数集合中,设<br>
F(x):x为奇数,<br>
G(x):x为偶数,<br>
<img src="image/cunzai.gif" width="7" height="11">xF(x)<img src="image/hequ.gif" width="9" height="11"><img src="image/cunzai.gif" width="7" height="11">xG(x)为真命题,而<img src="image/cunzai.gif" width="7" height="11">x(F(x)<img src="image/hequ.gif" width="9" height="11">G(x))是假命题,则:</b></p>
<p style="line-height: 200%"> </p>
<p style="line-height: 200%"><b>例2. 证明:苏格拉底论证<br>
“所有的人总是要死的。<br>
因为苏格拉底是人。<br>
所以苏格拉底总是要死的。”</b>
</p>
<p style="line-height: 200%"><b> </b></p>
<p style="line-height: 200%"><b>例3. 前提:<img src="image/renyi.gif" width="9" height="11">x(F(x)<img src="image/yunhan.gif" width="15" height="9">G(x)),<img src="image/cunzai.gif" width="7" height="11">xF(x)<br>
结论:<img src="image/cunzai.gif" width="7" height="11">xG(x)</b></p>
<p style="line-height: 200%"> </p>
<p style="line-height: 200%"><b>例4. 前提:<img src="image/renyi.gif" width="9" height="11">x(F(x)<img src="image/yunhan.gif" width="15" height="9">G(x)),<img src="image/cunzai.gif" width="7" height="11">x(F(x)<img src="image/hequ.gif" width="9" height="11">H(x))<br>
结论:<img src="image/cunzai.gif" width="7" height="11">x(G(x)<img src="image/hequ.gif" width="9" height="11">H(x))</b></p>
<p style="line-height: 200%"> </p>
<p style="line-height: 200%"><b>例5. 前提:<img border="0" src="image/fei.gif" width="10" height="5"><img src="image/cunzai.gif" width="7" height="11">x(F(x)<img src="image/hequ.gif" width="9" height="11">H(x)),<img src="image/renyi.gif" width="9" height="11">x(G(x)<img src="image/yunhan.gif" width="15" height="9">H(x))<br>
结论:<img src="image/renyi.gif" width="9" height="11">x(G(x)<img src="image/yunhan.gif" width="15" height="9"><img border="0" src="image/fei.gif" width="10" height="5">F(x))</b></p>
<p style="line-height: 200%"> </p>
<p style="line-height: 200%"><b>例6. 构造下列推理的证明<br>
学术委员会的每个成员都是博士,并且是教授,有些成员是年轻人,因而,有的成员是青年教授.</b></p>
<p style="line-height: 200%"> </p>
<p align="center" style="line-height: 200%"><a href="#作业"><b>作业</b></a>
</span></p>
<p style="line-height: 200%"> </p>
<p style="line-height: 200%"> </p>
<p style="line-height: 200%"> </p>
<p style="line-height: 200%"> </p>
<p style="line-height: 200%"> </p>
<p style="line-height: 200%"> </p>
<p style="line-height: 200%"> </p>
<p style="line-height: 200%"> </p>
<p style="line-height: 200%"> </p>
<p style="line-height: 200%"> </p>
<p style="line-height: 200%"> </p>
<p style="line-height: 200%"> </p>
<p style="line-height: 200%"> </p>
<p style="line-height: 200%"> </p>
<p style="line-height: 200%"> </p>
<p style="line-height: 200%"> </p>
<p style="line-height: 200%"> </p>
<p style="line-height: 200%"> </p>
<p style="line-height: 200%"> </p>
<p style="line-height: 200%"><b><a name="作业">作业</a>:</b>
</p>
<ol>
<li>
<p style="line-height: 200%"><b>所有有理数是实数,某些有理数是整数,因此,某些实数是整数.</b>
</span></li>
<li>
<p style="line-height: 200%"><b>任何人如果他喜欢步行,他就不喜欢乘车,每一个人或者喜欢坐汽车,或者喜欢骑自行车.有的人不喜欢骑自行车,因而有的人不爱步行.</b>
</span></li>
<li>
<p style="line-height: 200%"><b>每个大学生不是文科生,就是理工科学生,有的大学生是优等生,小张不是理工科学生,但是他是优等生,因而,小张是大学生,那么他就是文科生.</b></span></li>
</ol>
<p style="line-height: 200%">
</td>
</tr>
</table>
<table width="100%" border="0" cellspacing="0" cellpadding="0">
<tr>
<td>
<div align="center">
<p style="line-height: 200%"><b> <img src="IMAGE/yuancheng_2.gif" width="100" height="69"></b></div>
</td>
</tr>
</table>
<p style="line-height: 200%"><b> </b> </p>
<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 + -