陈述 (逻辑)

✍ dations ◷ 2025-12-09 10:10:19 #逻辑概念,陈述

在逻辑中,一个陈述可以是:

若陈述是指后者,陈述和语句是不同的,语句只是一种陈述的逻辑型式(英语:Logic form),也有可能存在许多可以表达同一陈述的不同语句。

&   ∨   ¬   ~   →   ⊃   ≡   |   ∀   ∃   ⊤   ⊥   ⊢   ⊨   ∴   ∵

相关

  • SCI科学引文索引(Science Citation Index、缩写:SCI)是由美国科学资讯研究所(Institute for Scientific Information,简称ISI)于1960年上线投入使用的一部期刊文献检索工具,其出版形式
  • 细分在图论中,细分(subdivision)或分割是指在一个图的其中一条边加入新的顶点,使这条边转变成由多个顶点构成之路径的变换,又称为扩展(expansion),为图子式理论中的基本算子之一,而变换完
  • 哈利法·本·扎耶德·阿勒纳哈扬哈利法·本·扎耶德·阿勒纳哈扬(阿拉伯语:خليفة بن زايد بن سلطان آل نهيان‎,1948年9月7日-),简称哈利法·扎耶德,阿拉伯联合酋长国总统、阿布扎比酋长
  • 田口方法品质工程(英语:Quality Engineering),由日本学者田口玄一创始的工程方法,以统计学的方式来进行实验及生产过程管控,达到产品品质改善及成本降低的双重目的,也应用在生物学、行销及
  • 明镜《明镜》周刊(德语:Der Spiegel),常译作《明镜周刊》,在德国发行的左派周刊,每周的平均发行量近110万册。该杂志自称是“德国最重要的且在欧洲发行量最大的新闻周刊”。这份杂志于
  • AIREn/an/an/an/an/an/an/an/an/an/a自身免疫调节因子(Autoimmune regulator)是人体内由AIRE基因表现的蛋白质。AIRE是在胸腺髓质表现的转录因子,使人体不会被自身的免疫系统攻击。
  • 出勤卡出勤卡,是一种用于记录工人上下班的纪录卡。最初开发的雇主,以确定工资,工时不只是工资。工时单记录任务的开始和结束时间,或者仅仅持续时间。完成整个项目或计划的任务,它可能包
  • 根分叉病变在牙科中,根分叉病变是骨质流失,通常是牙周炎引起,影响有两牙根或更多牙根相交的牙的根柱的基部(分叉或三叉)。 缺陷的程度和构造是诊断和治疗计划中的因素。
  • 人体冷冻人体冷冻技术(或人体冷藏学或人体冰冻法;英语:cryonics)是一种试验中的医学技术,把人体或动物在极低温(一般在摄氏零下196度以下 / 华氏零下320以下)的情况下深低温保存,并希望可以
  • 新加坡州独立《1965年新加坡独立协议》(英语:Independence of Singapore Agreement 1965;法语:Accord de 1965 sur l'indépendance de Singapour)是马来西亚联邦政府与新加坡政府于1965年8月