反事实条件

  	      	      	    	    	      	    
目录
 
 
1 什么是反事实条件
 
2 反事实条件的阐述
 
 
 
 什么是反事实条件 
 
　　反事实条件或称虚拟条件，致力于捕获在自然语言中的“如果-那么”陈述的条件陈述。与实质条件陈述不同，反事实条件可以为假即使它的前件为假。 
 
 反事实条件的阐述 
 
　　在自然语言中的"如果-那么"的意思不是总能正确的用实质条件所形式化。特别是，实质条件总是真的，只要它们的前件为假，而在自然语言中的"如果-那么"陈述，是直陈条件，可以在这种情况下为假。例如，陈述“如果小明在墨西哥，则小明在非洲”将典型的被认为是假。但是，如果小明当前不在墨西哥，则对应的逻辑条件是真。 
　　如果小明在德国，则下列两个条件都有假的前件和假的后件： 
　　如果小明在美国，则小明在非洲 
　　如果小明在美国，则小明在北美洲 
　　实际上，如果小明在德国，则所有三个情况“小明在美国”、“小明在非洲”和 “小明在北美洲”都是假的。但是，第一种情况明显是假的：美国不在非洲；第二种情况是真的：美国是北美国家。