陈述 (逻辑)

✍ dations ◷ 2025-04-02 12:27:11 #逻辑概念,陈述

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

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

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

相关

  • 拉帕替尼拉帕替尼(Lapatinib)是由葛兰素史克所研发制造的抗癌药物,于2007年3月13日由美国食品药物管理局所核准上市。目前核准的适应症为与卡培他滨(Capecitabine)合并治疗晚期或是转移性
  • S01BAA·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码S01(Ophthalmologicals)是解剖学治疗学及化学分类系统的一个药物分组,这是由世界卫生组织药物统计方法整合中心(The WHO C
  • 爱奥尼亚伊奥尼亚(拉丁语:Ionia;古希腊语:Ἰωνία;土耳其语:İyonya;这三种语言的发音均为“伊奥尼亚”而非“爱奥尼亚”)是古希腊时代对今天土耳其安纳托利亚西南海岸地区的称呼。伊奥尼
  • 发现号发现号航天飞机(STS Discovery OV-103)是美国国家航空航天局(NASA)肯尼迪航天中心(KSC)旗下,第三架实际执行太空飞行任务的航天飞机。首次飞行是在1984年8月30日,负责进行各种科学研
  • 联邦政府行政部门美国联邦行政部门(英语:United States Federal Executive Departments)是对于美国联邦政府中由总统指挥的行政机构总称,目前共有15个联邦行政部门;其中包含历史最为悠久的主要单
  • 瑚素通阿瑚素通阿(1757年-1808年),初名瑚图灵阿(满语:ᡥᡡᡨᡠᡵᡳᠩᡤᠠ,穆麟德:hūturingga),鄂济氏,清朝政治人物,同进士出身。宜绵之子。乾隆五十二年,登进士三甲第58名。乾隆五十五年,任刑部
  • 波音737-800波音737是一款中短程/双发动机窄体喷气客机,原本是波音707和波音727的衍生机型,为一款低操作成本的短程民用飞机,至今发展出14个型号。波音737的构想始于1964年,首架波音737-100
  • 佩吉市佩吉(Page)是美国亚利桑那州科科尼诺县的一个城市,靠近羚羊峡谷、格伦峡谷大坝和鲍威尔湖。据2010年人口普查局估计,该城市总人口为7,247人。‡该聚居地有部分隶属其他县份
  • 国家首都区坐标:14°35′N 121°00′E / 14.583°N 121.000°E / 14.583; 121.000马尼拉大都会(Metro Manila),乃以马尼拉市为核心,涵盖周边15个城市及1个自治市的大型都会区;在行政上,划归为
  • 雁峰区雁峰区为湖南省衡阳市的市辖区,属于衡阳市南部城区,东临湘江,总面积94平方公里,总人口184814人(2002年),国内生产总值34.1亿元(2005年)。境内有南岳衡山峰首回雁峰。截至2005年12