陈述 (逻辑)

✍ dations ◷ 2025-04-26 13:27:08 #逻辑概念,陈述

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

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

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

相关

  • 马丁乌斯·贝杰林克马丁努斯·威廉·拜耶林克(荷兰语:Martinus Willem Beijerinck,1851年3月16日-1931年1月1日),荷兰微生物学家和植物学家。他出生在阿姆斯特丹。拜耶林克就读于荷兰莱顿大学,并成为
  • 波萝勉省波萝勉省(高棉语:ខេត្តព្រៃវែង,高棉语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode",
  • 高半胱氨酸同半胱氨酸(英语:Homocysteine,或称为同型半胱氨酸或高半胱氨酸)是氨基酸半胱氨酸的异构物,在支链部分硫醇基(-SH)前包含一个额外的亚甲基(-CH2-)。同半胱氨酸的额外亚甲基使硫醇基更
  • 鸡雁小纲鸡雁小纲(学名:Galloanserae)是指雁形目及鸡形目两目的鸟类。它们在解剖及分子、形态及DNA序列、与及反转录转座子标记上的相似,显示它们是演化上的近亲。虽然鸡雁小纲的成员在
  • 台北市立联合医院松德院区台北市立联合医院松德院区,前身为台北市立疗养院,又名台北市精神医学中心(英文:Taipei City Psychiatric Center),是位于信义区的台北市立联合医院的院区,为精神科专科医院。松德院
  • 6s22,8,18,18,8,2蒸气压第一:502.9 kJ·mol−1 第二:965.2 kJ·mol−1 第三:3600 kJ·mol主条目:钡的同位素钡(Barium)是化学元素周期表中的元素,它的原子序数是56,化学符号是Ba。它
  • 超文本咖啡壶控制协议超文本咖啡壶控制协议(英语:Hyper Text Coffee Pot Control Protocol,缩写HTCPCP)是由IETF虚构的一种协议。这个协议在文档RFC 2324(1998年4月1日发布)中定义,是一个恶搞RFC。该协
  • 次异名异名(英语:synonyms)或称同物异名,在生物分类学上,是表示用来指称同一分类单元(taxon)的不同命名,此用词在动物学与植物学上的用法不甚相同。在动物命名上,异名是指用来表示同一个分
  • 波罗提木叉波罗提木叉(梵语:प्रतिमोक्ष,转写:prātimokṣa;巴利语: Pātimokkha),佛教术语,又作波罗底木叉、般喇底木叉等。意译为随顺解脱、处处解脱、别别解脱、别解脱、最胜、无
  • 南澳乡南澳乡,为台湾宜兰县下辖的一个乡,位于宜兰县最南端,北邻三星乡,东北接苏澳镇,东南滨太平洋,南邻花莲县秀林乡,西南邻台中市和平区,西与西北毗大同乡,是宜兰县面积最大、人口最少、人