首页 >
逻辑符号
✍ dations ◷ 2025-10-08 18:38:17 #逻辑符号
在逻辑是否中,经常使用一组符号来表达逻辑结构AI。因为逻辑学家非常熟悉这些符号,他们在使用的时候没有解释它们。所以,给学逻辑的人的下列表格,列出了最常用的符号、它们的名字、读法和有关的数学领域。此外,第三列包含非正式定义,第四列给出简短的例子。要注意,在一些情况下,不同的符号有相同的意义,而同一个符号,依赖于上下文,有不同的意义。؋ ₳
฿ ₿
₵ ¢ ₡ ₢(英语:Brazilian cruzeiro)
$ ₫ ₯ ֏
₠ €
ƒ(英语:Florin sign) ₣
₲
₴(英语:Hryvnia sign)
₭
₺ ₾
₼ ℳ ₥
₦
₧ ₱(英语:Philippine peso sign) ₰ £
元 圆 圆 ﷼ ៛ ₽(英语:Ruble sign) ₹(英语:Indian rupee sign) ₨
₪(英语:Shekel sign)
৳ ₸ ₮
₩
¥ 円x
≠
y
⇔
¬
(
x
=
y
)
{displaystyle xneq yLeftrightarrow neg (x=y)}
相关
- 光学显微镜光学显微镜(Optical microscope、Light microscope)是一种利用光学透镜产生影像放大效应的显微镜。由物体入射的光被至少两个光学系统(物镜和目镜)放大。首先物镜产生一个被放大
- 历年逝世人物列表这是一个选择年份的列表,在这里你可以查看任何一年逝世的知名人士。
- 乳腺乳腺是所有的哺乳动物都拥有的,为了产生乳汁哺育后代的腺体。它是一种皮腺,属于汗腺的变形体。亦是哺乳动物中所有雌性的共同特征,且雄性的乳腺一般因退化而无功能,仅有少量痕迹
- 长寿命裂变产物长寿命裂变产物一般指由核裂变反应产生的、半衰期超过20万年的放射性物质。这并非精确的科学定义,比如有人把某些半衰期在20年至100年间的裂变产物也称作长寿命裂变产物。另
- 盎格鲁美洲盎格鲁美洲(英语:Anglo-America),又称英语美洲,用作描述以英语为主要语言,或者与英格兰或英伦三岛在历史、语言或文化上有密切关系的美洲地区,也可以指英语世界的美洲部分,与操罗曼
- 出生出生,或者出世,是指令后代降生于世的行为或过程。在哺乳动物中,这一过程由荷尔蒙控制,使得子宫壁肌肉收缩,并在胎儿具备呼吸、进食能力的时候将其排出。部分物种的子嗣较为早成(英
- 来古格士来古格士,又译为吕库古、莱库古、雷克格斯,按罗氏希腊拉丁文译音表应译为吕枯耳戈斯(古希腊文:.mw-parser-output .Polytonic{font-family:"SBL BibLit","SBL Greek","EB Garamo
- 主编总编辑,也称总编、主编,是媒体事业之中,负责编辑、策画、指导新闻、指挥采访业务部门的主管。在较小型的媒体之中,总编辑常须自行参与编采业务;然而在较大的媒体事业,总编辑往往只
- 胱胺酸症胱氨酸症(英语:Cystinosis)是溶小体贮积症的一种,因第17对染色体短臂13位置的CTNS基因发生缺损,导致将胱氨酸携出溶小体的运输酶功能异常,胱氨酸堆积溶小体上,进而造成器官的病变。
- 滑膜肉瘤滑膜肉瘤(synovial sarcoma),又称恶性滑膜瘤(malignant synovioma),是一类罕见的软组织肉瘤,通常病发于胳膊、颈部和腿部关节。“滑膜肉瘤”一词是出现在二十世纪初,当时一些研究者