陈述 (逻辑)

✍ dations ◷ 2025-11-25 22:42:11 #逻辑概念,陈述

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

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

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

相关

  • 纳米医学纳米医学是随着纳米生物医药发展起来用纳米技术解决医学问题的学科。纳米技术和材料的发展将将给医学领域带来一场深刻的革命,主要在对付癌症和治疗心血管疾病方面有重要意义
  • 拉瓦节安托万-洛朗·德·拉瓦锡(法语:Antoine-Laurent de Lavoisier,1743年8月26日-1794年5月8日),法国贵族,著名化学家、生物学家,被后世尊称为“近代化学之父”。他使化学从定性转为定量
  • 克洛德·德彪西阿希尔-克洛德·德彪西(法语:Achille-Claude Debussy,法语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Un
  • 主要碱性蛋白n/an/an/an/an/an/an/an/an/an/a主要碱性蛋白(英语:Major basic protein,MBP),全称为嗜酸性粒细胞主要碱性蛋白(英语:Eosinophil Major basic protein),也称为蛋白多糖2(Proteoglycan
  • 加速子加速子一种假想的亚原子粒子,是首先在西雅图华盛顿大学假设的一般认为它的相互作用比中微子还弱。 虽然目前在实验中没有直接观察到这种粒子的存在,但它很有可能是暗能量的组
  • 宁明宁明县在中国广西壮族自治区西南部、左江支流明江流域,是崇左市所辖的一个县。县内的花山岩画是广西第一个世界遗产。总面积为3779平方公里,2002年人口为39万。元置思明州,清改
  • 奎 昌奎昌(?年-?年),道光十六年翻译进士。咸丰3年-咸丰9年,右中允,;咸丰3年,日讲起居注官,;咸丰9年-咸丰10年,左庶子,;咸丰10年-同治5年,太仆寺卿,;同治5年,署科布多参赞大臣,;同治5年-同治10年,科布
  • 麝鼠麝鼠(学名:Ondatra zibethicus)是麝鼠属中的唯一成员,是北美洲本土较大的水栖啮齿目动物,并传入欧洲的一些部分。它们在中大西洋被称为“沼泽松鼠”。成年的麝鼠通常长约25-40厘
  • 旧金山四十九人国家橄榄球联盟(1950年至今)联会冠军(7)分区冠军(21)旧金山四九人(San Francisco 49ers,又译旧金山淘金者) 是美国国家橄榄球联盟球队。成立于1946年,最初作为全美橄榄球联合会(AAFC)
  • 孙过庭孙过庭(648年-703年9月),字虔礼,自称吴郡人,一说富阳(今杭州市富阳区)人(汉及三国时富阳属吴郡),一说陈留人。历任右卫胄曹参军、率府录事参军,陈子昂为他撰写墓志铭:“四十见君,遭谗慝之