陈述 (逻辑)

✍ dations ◷ 2025-11-20 08:09:02 #逻辑概念,陈述

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

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

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

相关

  • 皮肤癌皮肤癌是一种生长在皮肤上的癌症,它是由异常的细胞发展而来,甚至有可能会侵犯扩散到身体不同部位。由于皮肤癌常常在表皮层中发展,肿瘤常常清晰可见,因此大部分时间,可以在早期发
  • 彼得·塞曼彼得·塞曼(荷兰语:Pieter Zeeman,荷兰语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000
  • 堤维德岬堤维德岬(Tweed Heads)是座位于澳大利亚新南威尔士州最北部的城镇;人文上,与昆士兰州的黄金海岸比邻发展,观光收入颇丰。由于比较起来,黄金海岸是座国际游客趋之若鹜的观光大城,所
  • 1140年重要事件及趋势重要人物
  • 翼宗孝明世子(朝鲜语:효명세자/孝明世子,1809年9月18日(纯祖九年八月九日)-1830年6月25日(纯祖三十年五月六日)),讳李旲(朝鲜语:이영/李旲),字德寅,是朝鲜王朝的第24代君主宪宗李烉之父,纯祖的世子
  • 伦敦市中心中伦敦(英语:Central London)是指英国伦敦最重要的地区。伦敦市中心并没有一个正式的官方定义,但一般以高建筑密度、高地价、较多的白天人口等标准来划定伦敦市中心的范围。伦敦
  • 科罗拉多雪崩科罗拉多雪崩队(Colorado Avalanche)是位于美国丹佛的国家冰球联盟队伍,隶属于西大区中央分区。科罗拉多雪崩队的前身是魁北克北方人队,成立于1972年;1995年球队迁往至丹佛,并改名
  • 丹·奎尔詹姆斯·丹佛斯·“丹”·奎尔(James Danforth "Dan" Quayle,1947年2月4日-)是美国第44任副总统,曾分别担任代表印第安纳州的参议员和众议员。现任博龙资产管理旗下主管。奎尔在
  • 启动源代码《源代码》(英语:Source Code)是一部2011年的美国科幻惊悚片,是邓肯·琼斯执导的第二部作品。主要演员包括 杰克·吉伦哈尔、维拉·法梅加和蜜雪儿·摩纳汉。本片于2011年3月11
  • 海洋真菌海洋真菌(marine fungi),或海生真菌,是生活在海洋或潮间带中的真菌。海洋真菌并不是一个分类单元,而是泛指分属于不同分类群,但生长环境均位于海洋或潮间带的多种真菌。绝对海生真