thedays.cn
今日百科
百科
登录
注册
首页
>
一致性 (逻辑)
✍ dations ◷ 2025-10-29 19:26:53
#一致性 (逻辑)
逻辑上,一致性(consistency)、相容性、自洽性,是指一个形式系统中不蕴涵矛盾。
所谓的矛盾有二种解读方式:
相关
抗病毒药
抗病毒药物(antiviral drug)是一类用于特异性治疗病毒感染的药物。就像抗生素治疗细菌感染一样,特定的抗病毒药物对特定的病毒起作用;但抗病毒药物和抗生素不同的是,后者消灭细菌
华氏
华氏温标是一种温标,符号为℉。华氏温标的定义是:在标准大气压下,冰的熔点为32℉,水的沸点为212℉,中间有180等分,每等分为华氏1度。根据德国科学家华伦海特于1724年所写的一篇期
哈卡斯人
哈卡斯人(Khakas) 亦作Khakas或Hakas,又称“米努辛斯克鞑靼人”、阿巴坎鞑靼人,“叶尼塞鞑靼人”、叶尼塞土耳其人等,属蒙古人种西伯利亚类型。使用哈卡斯语,分萨盖、卡钦、克孜尔
布加勒斯特大学
布加勒斯特大学(罗马尼亚语:Universitatea din București),罗马尼亚首都布加勒斯特的一所大学。成立于1864年。布加勒斯特大学现有学生34,000名。20世纪50年代至60年代曾称为“
石虎
建武:335年-348年 赵武帝石虎(295年-349年5月26日),字季龙,上党武乡(今山西榆社)人。中国五胡十六国时代中,后赵的第三位皇帝。庙号太祖,谥号武帝。石虎是后赵开国君主石勒的侄儿。石
汉普顿公园球场
汉普顿公园球场是一个位于苏格兰格拉斯哥的足球场,自1903年已经是女王公园的主场。
台布
台布(满语:ᡨᠠᡳᠪᡠ,穆麟德:),清朝蒙古正蓝旗人,军机大臣。任内阁学士,乾隆六十年(1796年),在军机处学习行走,迁任工部左侍郎。嘉庆元年(1796年)六月,改任户部右侍郎,十一月到浙江江西办差
戴谟安
戴谟安(?-2012年12月26日),男,浙江宁波人,中华人民共和国政治人物,曾任黑龙江省人民政府副省长,黑龙江省政协副主席。
坦达
坦达(Tanda),是印度北方邦Rampur县的一个城镇。总人口40009(2001年)。该地2001年总人口40009人,其中男性21404人,女性18605人;0—6岁人口8369人,其中男4329人,女4040人;识字率35.96%,其
鲍尔冰川
坐标:.mw-parser-output .geo-default,.mw-parser-output .geo-dms,.mw-parser-output .geo-dec{display:inline}.mw-parser-output .geo-nondefault,.mw-parser-output .geo-multi-punct{display:none}.mw-parser-output .longitude,.mw-parser-output .latitude{white-space:n