布尔值函数

✍ dations ◷ 2025-11-13 03:13:37 #布尔值函数

布尔值函数是 f : X B {displaystyle f:Xto mathbb {B} } 类型的函数,这里的 X {displaystyle X} 是一个任意集合,而 B {displaystyle mathbb {B} } 是一般性的 2 元素集合,典型的是 B = { 0 , 1 } {displaystyle mathbb {B} =left{0,1right}} ,而它经常在逻辑学应用中被解释为 B = { f a l s e , t r u e } {displaystyle mathbb {B} =left{false,trueright}}

在形式科学、数学、数理逻辑、统计学和它们的应用领域中,布尔值函数也被称为特征函数、指示函数、谓词或命题。在所有这些使用中,它都被理解为提及一个数学对象的多样性的术语,而不是相应的记号符号或语法表达式。

相关

  • 食虫性食虫动物是指以昆虫为主食的肉食动物。另外,人类也有食用昆虫的行为。最好的食虫脊椎动物为两栖类,约在4百万年前演化出来。原本的两栖类皆为食鱼动物,拥有和现代鳄鱼类似的圆
  • 托瑞·贝勒奇萨尔瓦托雷·“托瑞”·贝勒奇(英语:Salvatore "Tory" Belleci,1970年10月30日-)是美国的一位电影制片人和模型制作师;以其参与的探索频道节目《流言终结者》而知名。出生于加利福
  • 张韶南张韶南(?-1861年),字琴五,清朝官员,河南省渑池县人。同进士出身。张韶南少有文名,道光二十四年(1844年)考中甲辰科举人,二十七年(1847年)中式丁未科三甲进士,历任江西湖口、铅山、余干、新
  • 法那尔希腊正教学院41°01′44″N 28°56′56″E / 41.029°N 28.949°E / 41.029; 28.949坐标:41°01′44″N 28°56′56″E / 41.029°N 28.949°E / 41.029; 28.949法那尔希腊正教学院(土耳其
  • 那日下午《那日下午》(英语:)为台湾导演蔡明亮的作品,于2014年展览中巡回放映,并被选入2015年第72届威尼斯影展非竞赛单元。另外,报名第52届金马奖剧情片竞赛,但未入围。该片是蔡明亮与李康
  • NASA徽章美国国家航空航天局徽章具有三种主要的官方设计,尽管其中一种带有程式化的红色弯曲文字(“蠕虫”)已于1992年5月22日停止作为官方标志,但于2020年4月3日正式恢复作为辅助徽章使
  • 波普勒站波普勒站(英语:Poplar DLR station)是码头区轻便铁路的一个车站,位于伦敦东部的波普勒地区,位于伦敦第2收费区。码头区轻铁的六条路线中有三条经过波普勒站,使得该站成为码头区轻
  • 康斯坦茨大公会议康斯坦茨大公会议是15世纪天主教会授权并举办的大公会议,于1414年至1418年在今德国的康斯坦茨主教区举行。大会接受了教宗额我略十二世的请辞,废黜了两位对立教宗并选举了教宗马丁五世,结束了天主教会大分裂。该大会还宣布扬·胡斯为异端,并协助地方当局将其处决。大会还在国家主权、异教徒权利和正义战争等问题上作出裁决,以应对立陶宛大公国、波兰王国和条顿骑士团之间的冲突。该大会的重要性也在其与会议至上和教宗至上的关系里得到了充分体现。该大会的主要目的是结束因亚维农教廷造成的混乱而导致的教会分裂。教宗额我略十一世于
  • 1946年美国职棒大联盟球季1946年美国职棒大联盟球季是美国联盟和国家联盟共同存在后的第46个赛季。该年的世界大赛由红雀4胜3败击败红袜拿下世界大赛冠军。这一年因为二战结束,全部在美军服役的球员也都回归职棒。明星赛于1946年7月9日在波士顿红袜的主场芬威公园举行,最终美联以12比0击败国联。 国联 圣路易红雀(4)- 美联 波士顿红袜(3)1946年全明星赛于7月9日在波士顿红袜的主场芬威公园举行。 正规例行赛结束后,圣路易红雀与布鲁克林道奇皆以98胜58败并列国联第一。两队也因此进行三战两胜的冠军系列赛。
  • 陈达植陈达植(1937年-),湖北武汉人,中国人民解放军将领、中国人民解放军中将。 1997年,授予中国人民解放军中将,曾任总装备部副部长。