谓词逻辑

✍ dations ◷ 2024-12-22 19:13:09 #谓词逻辑
在数理逻辑中,谓词逻辑(Predicate logic)是符号形式系统的通用术语,比如一阶逻辑,二阶逻辑,多类逻辑或无穷逻辑等等。

相关

  • 脂多糖脂多糖(Lipopolysaccharide)是一大型分子油脂和多糖由共价键相连组成的。脂多糖是革兰氏阴性细菌外膜的主要组成部分,提供并保持细菌结构的完整性,保护细菌的细胞膜抵抗某些化学
  • 拉米夫定拉米夫定(英语:Lamivudine,一般称为3TC),是一种抗反转录病毒药物,用以预防及治疗艾滋病,若没有其他药物选择时,也可以拿来治疗慢性乙型肝炎。拉米夫定治疗HIV-1和HIV-2都很有效。通
  • 止痛剂镇痛药(Analgesic)是指能缓解痛的一类药物。该词起源于希腊语中的"an"(意即“没有”)和"algos"(意即“痛”)。镇痛药通过不同的机理作用于中枢和周围神经系统,对痛觉中枢有选择性抑
  • 拉萨热拉萨热(Lassa fever)或拉萨出血热(Lassa hemorrhagic fever,LHF)是一种由拉萨病毒(英语:Lassa virus)所引起的病毒性出血热。为生物性危害第四级病毒,大部分被此病毒感染的人不会出现
  • 麦司卡林麦司卡林,学名三甲氧苯乙胺,俗称仙人掌毒碱,属于苯乙胺的衍生物。它是从一种生长在美国南部和墨西哥北部的乌羽玉属物种的种籽、花粉中提取出来的致幻剂型毒品。麦司卡林最主要
  • 活性白土坡缕石(或坡缕缟石、凸凹棒石,分子式:Mg5Si20(OH2)(H2O)4·nH2O)是海泡石族的一种矿石,由蒙脱石转化而成,由含水的层链状镁质硅酸盐组成。其微观结构具有层、链、纤维状晶体结构
  • 罗得岛罗德岛(希腊语:Ρόδος Ródos )是爱琴海上的一个岛屿,位于佐则卡尼萨群岛的最东端,它也是该群岛的主岛和希腊所辖最东的岛屿,距离土耳其仅18公里。其名来自于古希腊语中的“Ρ
  • 埃里克·迈耶埃里克·迈耶(英语:Eric A. Meyer)是美国网页设计顾问和作家。他以代表网页标准的倡导工作而闻名,最著名的是层叠样式表(CSS),这是一种管理HTML如何显示的技术。迈耶已经撰写了一些
  • 移动性移动性(英语:motility,又称运动性、活动性)是生物学术语,意指能自发且独立地移动。此一名词可以应用在单细胞和多细胞的生命体上头。在细胞生物学和生医工程中,移动性通常是指细胞
  • 鼠绦虫缩小膜壳绦虫(学名:Hymenolepis diminuta)是一种食源性(英语:Foodborne parasites)寄生虫, 属于绦虫纲圆叶目,可引致膜壳绦虫病(hymenolepiasis)。这种线虫以昆虫作中间宿主,最终会感