陈述 (逻辑)

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

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

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

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

相关

  • 普罗旺斯普罗旺斯(法语:Provence),法国东南部的一个地区,古代时是古罗马的一个行省,毗邻地中海,和意大利接壤。从阿尔卑斯山经里昂南流的罗纳河,在普罗旺斯附近分为两大支流,然后注入地中海。
  • 分类级别在生物分类法中,分类级别(英语:taxonomic rank)是在分类学等级制度中的层次 (相对位置)。每一个级别之下包含了若干不够普遍的分类。物种和属这两个级别是最基本的,除此之外的级
  • 去氧核糖核苷酸核苷酸(英语:Nucleotide)是核酸的基本组成单位。核苷酸以一个含氮碱基为核心,加上一个五碳糖和一个或者多个磷酸基团组成。含氮碱基有五种,分别是腺嘌呤(A)、鸟嘌呤(G)、胞嘧啶(C)、胸
  • A81ICD-10 第一章:某些传染病和寄生虫病,主要包括被视为具有可传播性和可传染性的疾病。肠道传染病(A00-A09)结核病(A15-A19)由特定动物传染的细菌性疾病(A20-A28)其他细菌性疾病(A30-A4
  • 一型糖尿病1型糖尿病(旧称青少年糖尿病或胰岛素依赖型糖尿病)是糖尿病其中一种类型,患者的身体不能产生足够的胰岛素,导致血糖水平过高,典型症状包括:多尿、口渴、易饿以及体重下降;其他症状
  • 匀卷层云匀卷层云(学名:Cirrostratus nebulosus,缩写: Cs neb ),又称薄暮卷层云,是卷层云的一种。匀卷层云形似面纱,但云体模糊,没有明显的细节。匀卷层云既可稀薄至几乎完全不可见的程度,也
  • 太阳极小期太阳极小期是太阳周期中太阳活动最低的时期,在这段期间太阳黑子和闪焰的活动最少,经常好几天都不会发生。极小期的日期使用12个月的平滑曲线平均值来描述,因此确认极小期的时间
  • 满城满城区,史称北平,在河北省中部偏西、太行山东麓,是保定市下辖的一个市辖区。区政府驻满城镇中山路。汉朝置北平县,属中山国,魏晋皆因袭之;东魏侨置之南营州永乐县治县内乐城(今县城
  • 梅费尔坐标:51°30′32″N 0°08′51″W / 51.508755°N 0.14743°W / 51.508755; -0.14743梅费尔(Mayfair)是英国伦敦市中心的一个区域,位于威斯敏斯特市内。梅费尔得名于一年一度为
  • 联邦行政部门美国联邦行政部门(英语:United States Federal Executive Departments)是对于美国联邦政府中由总统指挥的行政机构总称,目前共有15个联邦行政部门;其中包含历史最为悠久的主要单