陈述 (逻辑)

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

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

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

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

相关

  • 芳香环芳香环是一类有机芳香化合物。芳香环拥有共轭的平面环体系,原子间成键并不是不连续的单双键交替,而是被离域π电子云覆盖。典型的芳香环化合物是苯和吲哚。简单的单环芳香化合
  • 顺乌头酸酶结构 / ECOD顺乌头酸酶(英语:Aconitase,简称为乌头酸酶,EC 4.2.1.3)是一种在三羧酸循环中催化柠檬酸通过顺乌头酸中间步骤立体专一性可逆异构化为异柠檬酸的酶,这是一个非氧化还原
  • 圣十字圣殿佛罗伦萨圣十字圣殿(意大利语:Basilica di Santa Croce)是方济各会在意大利佛罗伦萨的主要教堂,罗马天主教的一座次级圣殿,坐落在主教座堂东南方大约800米的圣十字广场。这个地点
  • ΡRho(大写Ρ,小写ρ,中文音译:柔、若),是第十七个希腊字母。小写ρ用于:西里尔字母的 Р 及拉丁字母的 R 都是由 Rho 演变而成。
  • 迪特里克堡迪特里克堡(Fort Detrick),中国传统翻译为“狄特里克营”,是美国陆军医务司令部(英语:United States Army Medical Command)位于马里兰州弗雷德里克的一处设施。历史上,迪特里克堡于
  • 子痫前症子痫前症(拉丁语:pre-eclampsia, preeclampsia,缩写为PE),又称前兆子痫,早前也称为妊娠毒血症(英语:toxemia),为怀孕期间发生的疾病,其特征为高血压与蛋白尿。该疾病通常发生于第三孕期
  • 拟交感神经性拟交感神经药,指与兴奋交感神经的效应相同的药物,也叫做拟交感药物。拟交感药的主要目的是兴奋肾上腺素受体。其中包括肾上腺素、去甲肾上腺素、麻黄碱及一些合成药如异丙肾上
  • 示意地图示意地图(英文:Cartogram),又称比较统计地图,是将地图根据统计数据变形的得到示意图,通常是将各个地理单位的面积扩大或缩小,来表示有关数据的数值。示意地图的用途在于视觉上展示
  • 阮的故乡。高雄《阮的故乡·高雄》是由一群台湾音乐人及广播人于2014年高雄气爆事件后所录制的一首公益歌曲,旨在借由合唱来激励各界携手面对这场意外。2014年高雄气爆事件发生后,为了鼓励社
  • 传记传记(英语:biography),是文学体裁的一种,也是早期文学的重要形式之一。传记并非只是书,也有可能是电影。此外,传记与小说的分别是相当不同的,虽然许多传记具有小说的形式,但提到传记