陈述 (逻辑)

✍ dations ◷ 2025-12-02 17:51:41 #逻辑概念,陈述

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

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

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

相关

  • 罗萨林·耶洛罗莎琳·萨斯曼·耶洛(英语:Rosalyn Sussman Yalow,1921年7月19日-2011年5月30日),美国医学物理学家,因开发多肽类激素的放射免疫分析法,而与罗歇·吉耶曼和安德鲁·沙利共同获得197
  • 甲醇甲醇(英语:Methanol,或Methyl alcohol;分子式:CH3OH或MeOH)又称羟基甲烷、木醇(wood alcohol)与木精(wood spirits),是一种有机化合物,为最简单的醇类。甲醇有“木醇”与“木精”之名,源
  • 核定位序列核定位序列(或称核定位信号;英语:nuclear localization signal,NLS;或 nuclear localization sequence)是一段氨基酸序列,作为蛋白质通过核运输进入细胞核的标签。一般来说,核定位信
  • 宣统退位《宣统帝退位诏书》是由清朝最后一位君主、同时也是中国自秦始皇创立皇帝制度以来的最后一位被承认的皇帝宣统帝溥仪于1912年2月12日(宣统三年十二月廿五)所颁布的退位诏书,标
  • 解析几何解析几何(英语:Analytic geometry),又称为坐标几何(英语:Coordinate geometry)或卡氏几何(英语:Cartesian geometry),早先被叫作笛卡尔几何,是一种借助于解析式进行图形研究的几何学分支
  • 凯瑟琳·德纳芙凯瑟琳·德纳芙(法语:Catherine Deneuve,1943年10月22日-)法国女影星,从1960年代活跃至今。出生于法国巴黎,13岁从影。有法国第一美人之称。成名作电影是“秋水伊人”,代表作是阐释
  • 反应性离子蚀刻法反应离子刻蚀(英文:Reactive-Ion Etching,或简写为RIE)是一种半导体生产加工工艺,它利用由等离子体强化后的反应离子气体轰击目标材料,来达到刻蚀的目的。气体在低压(真空)环境下由
  • 郑作新郑作新(1906年11月18日-1998年6月27日),鸟类学家、鸟类地理学家,中国现代鸟类学、中国动物地理学的奠基人之一。郑作新1906年11月18日出生于福建省福州市一个小知识分子的家庭。
  • 鬼笔属鬼笔属(学名:Phallus)属鬼笔目鬼笔科,其中大部分种具有恶臭且有毒,白鬼笔是著名的食用菌,红鬼笔可药用,而近期发现的新种食用菌香鬼笔具有丁香花香气。长裙竹荪和短裙竹荪在目前的
  • 沧龙科沧龙超科(Mosasauroidea),Mosa在拉丁语意为荷兰的默兹河(Meuse river),sauros在希腊文意为蜥蜴。沧龙类是种如蛇般弯曲的海生爬行动物。第一个沧龙类化石在1780年于默兹河流域的马