实用的离散数学课件

				
				
				Untitled Document
				
				
								.unnamed1 {  line-height: 15pt; font-size: 9pt}
				-->
				
				
				
				
				
				
				
				
				  
				    
				      谓词逻辑
				      　　在命题逻辑中，命题演算的基本单位是命题，不再对原子命题进行分解，故无法研究命题语句的结构、成份和内在的逻辑特征。  
				            
				      　　如果任何两个原子命题具有一些共同特征，那么欲表达这些共同特征，显然是不可能的事。这就使得在命题逻辑中，甚至无法处理一些简单而又常见的推理过程。  
				            
				      　　例如: P:张三是大学生,Q:李四是大学生.   
				             
				      　　再如: 著名的“苏格拉底（Socrates，古希腊哲学家，公元前470～399）论证”就是如此。 
				      　　　　“所有的人总是要死的。
				      　　　　  因为苏格拉底是人。 
				      　　　　  所以苏格拉底总是要死的。”   
				             
				      　　凭直觉就能知道这个结论是真的，但是借助于命题演算的推理理论，却不能推 
				      导出这个结论来。  
				            
				      　　产生这种缺欠的原因在于，命题演算不能把命题“所有的人总是要死的”分解开来，去说明关于“人”的任何事情。反之，若是把“总是要死的”，与“所有的人”的这部分分解开来，则就有可能论述任何特定的“人”。为了研究这类本质性的问题，在原子命题中将引入谓词的概念。  
				            
				      　　为此，将把原子命题分解成个体和谓词这样两个组成部分。  
				            
				      　　所调个体，乃是不依赖于人们主观而存在的客观实体，可能是些具体的物体，也可能是些抽象的概念。  
				            
				      　　谓词，通常是用来描述个体的性质或者特征，或者是个体之间的关系。例如，在上述论证中，“人”是个体，而“是要死的”则是谓词。  
				         
				        在命题的研究中，基于谓词分析的逻辑，称为谓词逻辑。 谓词逻辑是命题逻辑的扩充和发展。    
				              
				      　    
				              
				         
				     
				   
				   
				      
				        
				         
				       
				        
				      本章重点：   
				       
				        
				      谓词公式、自然语言表述和谓词公式表示间的相互转化、基于谓词公式的推理   
				       
				     
				      
				        
				         
				       
				        
				      本章难点：   
				       
				        
				      把自然语言用谓词公式进行表示、谓词推理   
				       
				     
				   
				    
				     
				 <<back