陈述 (逻辑)

✍ dations ◷ 2025-11-23 15:29:42 #逻辑概念,陈述

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

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

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

相关

  • 三唑三唑是指分子式为C2H3N3,由2个碳原子和3个氮原子组成的一个五元杂环有机化合物。因两个氮原子之间的相对位置不同,三唑有两种同分异构体,这两种异构体分别是:三唑的衍生物一般用
  • 延胡索酸延胡索酸(Fumaric Acid),又名富马酸、紫堇酸或地衣酸,即反丁烯二酸(IUPAC名为(E)-丁烯二酸),是一种无色、易燃的晶体,由丁烯衍生出的羧酸。它的化学式是C4H4O4。燃烧延胡索酸会释
  • 鹈鹕鹈鹕科(学名:Pelecanidae),又称鴮鸅(音同“乌哲”),俗称塘鹅,在动物分类学上是属于鸟纲鹈形目。鹈鹕科下只有一个属鹈鹕属(Pelecanus),包括8种。鹈鹕是分布在除南极以外所有大陆的大型
  • Hsub2/subTiOsub3/sub偏钛酸(Metatitanic acid),别名钛酸,分子式H2TiO3。白色粉末,不溶于水、无机酸和碱(新沉淀的偏钛酸除外)。由硫酸氧钛水解,然后水洗、过滤、烘干而制得。
  • 抗甲状腺过氧化物酶抗体人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学抗甲状腺自身抗体或简称抗甲状腺抗体(a
  • 檀君纪元檀君纪元,简称檀纪,是一个以朝鲜半岛历史为基准的纪年单位,像西方惯用的“公元”。计算方法是在公元年份加上2333,便是该年份的檀纪。《三国遗事》以下,各种史料建国年度没固定。
  • 老年斑老年斑(也称为 神经炎性斑)是指在大脑灰质中,处在胞外的β-淀粉样沉积物。 。这种老年斑沉积物可能与退化神经结构、过多的小神经胶质和星细胞 有关。 这些沉积物也可能是衰老
  • 李商隐李商隐(813年1-约858年),字义山,号玉谿生、樊南生,晚唐诗人,祖籍陇西狄道(今甘肃省临洮县),祖辈迁荥阳(今河南郑州)。诗作文学价值很高,他和杜牧合称“小李杜”,与温庭筠合称为“温李”,与
  • 小黄山文化小黄山遗址位于浙江省绍兴市嵊州市甘霖镇上杜山村,是一处新石器时代早期的文化遗址。1984年,嵊州市文物管理处在文物普查时发现该遗址;2005年,浙江省文物考古研究所和嵊州市文物
  • 地级市浙江省目前辖2个副省级城市、9个地级市,以及37个市辖区、20个县级市、32个县、1个自治县。这里反映的是自明朝设立浙江承宣布政使司以来的县以上行政区划变更、以及建省前今