一致性　(逻辑)　逻辑　上,　一致性　(consistency)、　相容性　、或　自洽性　,是指一个形式系统中不蕴涵矛盾。　所谓的矛盾有二种解读方式:　语义　上:当一个命题S是由许多命题组成时,如果所有命题可同时为真,则S是一致的,否则S是不一致的。　语法　上:　公理系统　不能推导出两个相反的结果。亦即不存在命题P,使得P→Q和P→~Q同时成立。　 这是与数学相关的小作品。你可以通过编辑或修订扩充其内容。　取自“http://zh.wikipedia.org/w/index.php?title=一致性_(逻辑)&oldid=28274822”　导航菜单　个人工具　命名空间　不转换　更多　搜索　导航　本页面最后修订于2013年8月18日　(星期日)　06:24。　Wikipedia®和维基百科标志是维基媒体基金会的注册商标;维基™是维基媒体基金会的商标。　维基媒体基金会是在美国佛罗里达州登记的501(c)(3)免税、非营利、慈善机构。