陈述 (逻辑)

✍ dations ◷ 2025-12-03 01:28:14 #逻辑概念,陈述

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

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

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

相关

  • 主要药物分类解剖学治疗学及化学分类系统(英语:Anatomical Therapeutic Chemical Classification System, ATC),是世界卫生组织对药品的官方分类系统。ATC系统由世界卫生组织药物统计方法整
  • 威讯威瑞森通信(Verizon Communications(/vəˈraɪzən/),NYSE:VZ),是美国一家主要电信公司,全球领先的宽带和电信服务提供商,道琼斯30种工业平均指数组成之一。公司总部位于纽约市,主要
  • 伊斯兰如厕礼仪伊斯兰如厕礼仪(Islamic toilet etiquette)是伊斯兰教有关穆斯林如厕时需遵行的个人礼仪。在伊拉兰卫生律法(英语:Muslim hygienical jurisprudence)中,对应如厕礼仪的律法称为Qad
  • 生态系统多样性生态系统多样性(英语:Ecosystem diversity),可指一个地区的生态系统层次上的多样性,或一个生物圈中的各种生态系统。此词语和生物多样性不同,生物多样性是指是生物或物种变化的程
  • 分娩高潮分娩高潮(英语:birthgasm,orgasmic childbirth)是指在分娩期间所出现的性高潮。一些女性会以性刺激的方式去减轻宫缩,并以此替代麻醉药物。波斯特尔(Postel)于2013年发表了一项调查
  • 尼古拉斯·奥托(Nikolaus Otto)尼古拉斯·奥托(Nicolaus Otto,1832年6月11日-1891年1月28日),生于海德地区霍尔茨豪森,是一位德国科学家,1876年发明了四冲程循环内燃机。也有报道称,非四冲程内燃机此前已由他人发
  • 国际固定历国际固定历(也被称为Cotsworth提案、伊士曼提案、13月固定历),是由Moses Bruine Cotsworth在1902年提出的太阳历历法革新提案,他将太阳年分为13个月,每月固定有28天。因此国际固
  • 黑箭号运载火箭黑箭号运载火箭是英国的卫星运载火箭,建基于黑骑士火箭,黑箭号运载火箭最初由Saunders-Roe公司开发,由航天组织改良,燃料为高浓度双氧水及RP-1煤油。1971年7月29日,英国官员在下
  • 光稃稻光稃稻(学名:Oryza glaberrima),又称非洲稻、非洲型稻、西非栽培稻,是人类种植的一种稻属作物。一般认为,光稃稻于两千至三千年前在尼日尔河上游,即今日马里一带得到驯化。光稃稻为
  • 淄青节度使淄青节度使,全称淄青平卢节度使,是唐朝在今山东地区设置的节度使,762年—819年和882年—903年割据山东。天宝十四载(755年),安史之乱爆发,驻守营州(辽宁朝阳)的平卢节度使徐归道的裨