陈述 (逻辑)

✍ dations ◷ 2025-12-08 18:09:03 #逻辑概念,陈述

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

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

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

相关

  • 皮肤病学皮肤科(dermatology)是医学上治疗皮肤疾病的专门分支。全身的皮肤面积广大,因此皮肤是人体最大的器官。 皮肤病学是研究皮肤的结构、功能和疾病的学科,在广义上,还包含对头发、指
  • 日尔曼语族日耳曼语族是印欧语系的一支,是居住在北部欧洲日耳曼民族的语族。这一族语言有鲜明的特征,最著名的有关于辅音演变的格里姆定律。一些早期(约公元2世纪)的日耳曼语言发展出自己
  • 点击化学点击化学(Click chemistry),也译作链接化学、速配接合组合式化学,是由化学家巴里·夏普莱斯在2001年引入的一个合成概念,主旨是通过小单元的拼接,来快速可靠地完成形形色色分子的
  • 思想家思想家,是指对各层面的学术都有广泛研究或其思想足以建立出一个思想体系的人(如, 中国:老子、孔子、孟子、荀子、王充、王守仁、李贽、朱熹、顾炎武、龚自珍、魏源、康有为、鲁
  • 奥列格奥列格(俄语:Олег Вещий;?-912年)古罗斯王公。他是诺夫哥罗德的第二位大公(约879年起);有时他也被看作基辅的第一位大公。奥列格为瓦良格人(维京人的一支)。按照某些学者的意
  • 柯伊伯带柯伊伯带(英语:Kuiper belt),又称作伦纳德-柯伊伯带,另译柯伊伯带、古柏带,是位于太阳系的海王星轨道(距离太阳约30天文单位)外侧,在黄道面附近的天体密集圆盘状区域。柯伊伯带的假说
  • font color=#ffffff山西/font本列表是中国内地高等学校列表的山西省部分。截至2017年5月31日,山西共有23所公立本科高校、10所民办本科高校、42所公立专科高校、5所民办专科高校、11所成人高校。
  • 莫科莫科(1982年9月8日-),生于中国吉林省长春市,中国男子篮球运动员,原中国国家男子篮球队成员,曾效力于八一火箭队。身高208cm,体重104kg,位置中锋。他曾经入选中国国家男子篮球队参加20
  • 人权法案美国权利法案是美国宪法前十条修正案的统称。这些修正案的提出是为了缓解那些反对批准宪法的反联邦党人(英语:Anti-Federalists)的担忧,其中保障了多项个人自由,限制了政府的司法
  • 自由亚齐运动自由亚齐运动(印尼语:Gerakan Aceh Merdeka,GAM),又译亚齐独立运动组织,是一个主张以暴力手段争取亚齐独立的组织,1976年1月4日成立。该组织由一名亚齐商人哈桑‧狄‧提洛(英语:Hasan