& 是和、与的意思,英文符号相当与and这个词。字符 & 的最早历史可以追溯到公元1世纪,是拉丁语 et 的连写。最早的 & 很像 E 和 T 的组合,但随着印刷技术的发展,这个符号逐渐形成自己的样式,并脱离其原始的影子。
在数理逻辑学,
那个符号表示“满足”某个模型
在模型论中,经常使用那符号
这可能是程序里面的 /=在FORTRAN里表示不等于 !=在c语言里面是不等于 至于|=可能是其他 程序语言里面的
1.在程序里面的 /=在FORTRAN里表示不等于
2. 在数理逻辑学 那个符号表示“满足”某个模型