陈述 (逻辑)

✍ dations ◷ 2025-11-12 11:39:12 #逻辑概念,陈述

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

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

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

相关

  • 模型论模型论(英语:Model theory)一般是指数学中集合论的论述角度对数学概念表现(representation)的研究,或者说是对于作为数学系统基础的“模型”的研究。粗略地说,该学科假定有一些既
  • 活化 (生物)活化(Competence)又称为感受态,是一个在微生物学、遗传学、分子生物学和细胞生物学里很常见的名词,用来指一种能令细胞有能力从细胞以外的环境接纳DNA的方法。无论是在自然条件
  • span class=nowrapEsClsub3/sub/span三氯化锿是一种人工合成的放射性无机化合物,化学式为EsCl3,有强放射性。三氯化锿可以被汞阴极电解还原为二氯化锿(氯化亚锿)。EsF3 · EsCl3 · EsI3 · Es2O3 · Es(NO3)3
  • 明矾明矾(英语:Potassium alum,化学式:KAl(SO4)2·12H2O),又称钾铝矾、铝明矾、钾矾、白矾、生矾、羽涅或云母矾,可以用作净化水质、鞣制皮革、当作发粉或者代替硫酸铝作凡拉明蓝防染剂
  • 勒期语勒期语属汉藏语系藏缅语族缅语支,最接近载瓦语。是景颇族勒期支系的语言,主要分布于缅甸克钦邦(3万人)和中国云南省德宏傣族景颇族自治州的潞西、陇川、盈江、瑞丽等县(2000人)。
  • 闪光指数闪光指数(英语:guide number, GN)是一个衡量闪光灯在感光度及视角确定的情况下照射目标的能力。高闪光指数的闪光灯照射功率更大。例如,如果闪光指数变成K倍,那么闪光灯的功率会
  • 产前护理产前护理是指妊娠期间作的医疗与检察。包括身体检查和营养教导,主要为孕妇提早发现问题,给予妇女在生产的指示,以致守护母胎的健康。产前护理属于预防性的医疗保健,在怀孕过程中
  • 突尼斯阿拉伯语突尼斯阿拉伯语(تونسي‎ Tounsi  当地读音: .mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Co
  • 诗篇第23篇《诗篇》第23篇(英语:Psalm 23),因其首句“上主是我的牧者”而有时被称为Shepherd Psalm(“牧者诗篇”),是《诗篇》中较著名的一首。这首诗歌的主题是说到上帝扮演保护者和供应者的
  • 万年县万年县是中国江西省上饶市所辖的一个县。万年稻作文化系统经联合国粮食及农业组织确定为全球重要农业文化遗产。明正德七年(1512年),以余干县之万春乡置县,因县北有万年山,故名。