爱问 爱问共享资料 医院库

离散数学，利用一阶逻辑推理的方法证明：∃x(P(x)→Q(x))=>∀xP(x)→∃xQ(x)

搜索
我要提问
首页
生活
美食/烹饪

离散数学，利用一阶逻辑推理的方法证明：∃x(P(x)→Q(x))=>∀xP(x)→∃xQ(x)


        

    

    

    	

            
						
						汪翠林
					
		            

        

	        
	            回答
	            
	            
	        
	        

		

    

        

            
        

        

            

                
                
            

            提交回答
        

    





						

	    
全部答案

	

	    

	    
    
	    	2017-10-12 12:10:00
	        	
  • 
		            
    
		                
    用附加前提证明法前提：∃x(P(x)→Q(x))，∀xP(x)结论：∃xQ(x)证明：1、∀xP(x)2、P(a)3、∃x(P(x)→Q(x))4、P(a)→Q(a)5、Q(a)6、∃xQ(x)
    
		                
		            
    
		            
    
		                
    
		                	
    
				                        
				                    
    
				                    
    
				                        汪翠林
				                    
    
		                		
    2017-10-12 12:10:00
    
		                
    
                        
    
		                    29
	                            
	                            6
	                            
	                            评论
	                            
	                            
                            
    
                                分享
                                
    
                                    
    
                                        
                                       
    
                                            
                                            
                                            
                                        
    
                                    
    
                                
    
                            
    
		                
    
		            
    
		            
    
		                
    
		                    
		                
    
		                
    
		                    提交评论
		                
    
			            
      
	
    

    
		        
    • 
	    	

	





					

	

	
	    展开更多答案
	    
	




                

					


	

				


	



        

            
    
                
  • 
                	美食/烹饪
                	相关知识
    
                
    • 
                
  • 生活
    • 
					
  • 日常生活
    • 
					

        

        

	            
	        

        

		            
		        

        	

		            
		        

        	





	



	

		
相关推荐

	

	
    
正在加载...



			



	 
	 
	 

	 

     	 

	

     
 
         
	

     

     

     	 

	     
	

	 

	 

	 



		

	

		

			

        

        	生活
        	美食/烹饪
        	

        

             
         

        

             
         

        



	    
爱问推荐

	    
    
	        
  • 1-20
    • 
           		
  • 21-40
    • 
           		
  • 41-60
    • 
           		
  • 61-80
    • 
           		
  • 81-100
    • 
           		
  • 101-120
    • 
           		
  • 121-140
    • 
           		
  • 141-160
    • 
           		
  • 161-180
    • 
           		
  • 181-200
    • 
           		

	    

			        
			    

		    

			        
			    

		    

			        
			    

		    

			        
			    

		    

			        
			    

		    

			        
			    

		    

			        
			    

		    

			        
			    

		    

			        
			    

		    

			        
			    

		    



	    
相关资料

	    
	



	    
热点检索

	    
    
	        
  • 1-20
    • 
	        
  • 21-40
    • 
	        
  • 41-60
    • 
	        
  • 61-80
    • 
	        
  • 81-100
    • 
	        
  • 101-120
    • 
	        
  • 121-140
    • 
	        
  • 141-160
    • 
	        
  • 161-180
    • 
	        
  • 181-200
    • 
	        

	    

		        
		    

	    

		        
		    

	    

		        
		    

	    

		        
		    

	    

		        
		    

	    

		        
		    

	    

		        
		    

	    

		        
		    

	    

		        
		    

	    

		        
		    

	    





	

	

      

      	  

		  

    

        问题大全
        

        	A
	        B C 
	        D E 
	        F G 
	        H I 
	        J K 
	        L M 
	        N O 
	        P Q 
	        R S 
	        T U 
	        V W 
	        X Y 
	        Z 0-9
        

    

    

        主题大全
        

            A
        	B C 
        	D E 
        	F G 
        	H I 
        	J K 
        	L M 
        	N O 
        	P Q 
        	R S 
        	T U 
        	V W 
        	X Y 
        	Z 0-9
        

    





              关于我们
              爱问协议
              帮助中心
              
          

          
Copyright © 1996-2019 IASK  Corporation, All Rights Reserved

      





        

            返回
顶部
        

        帮助
        意见
反馈
        

            关注
爱问
            

                

                    

                    

                        
                    

                    

                        
关注爱问微信公众号，开启知识之旅，随时随地了解最新资讯。

                    

                

            

        

    

    

    
    

    

    

        
        
确定举报此问题

        

            
举报原因(必选)：

            
            

                放弃
                确定报告