陈述 (逻辑)

✍ dations ◷ 2025-11-22 19:42:11 #逻辑概念,陈述

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

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

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

相关

  • 社会进化论社会演化,是演化生物学的分支,旨趣于社会行为,譬如一些能够使他人获得适应度后果的行为。社会行为可以根据其所产生的适应度后果来分类。如果一个能够增加行动者的直接适应度的
  • 透纳约瑟夫·玛罗德·威廉·特纳(英语:Joseph Mallord William Turner,1775年4月23日-1851年12月19日),简称J·M·W·特纳(J. M. W. Turner)或威廉·特纳(William Turner),又译透纳,英国浪漫
  • 圣心堂坐标:48°53′12″N 2°20′34″E / 48.88667°N 2.34278°E / 48.88667; 2.34278圣心圣殿(法语:Basilique du Sacré-Cœur),简称圣心堂(Sacré-Cœur),是位于法国巴黎的天主教宗座
  • 急就篇《急就章》又名《急就篇》,汉朝史游著。汉元帝时黄门令史游作《急就章》,全文共一千三百九十四字,无一重复字,为学童识字之书。“石敢当”的文字记载最早见于《急就章》:“师猛虎
  • 辐鳍鱼总纲目分类请见本文。辐鳍鱼又名条鳍鱼,为辐鳍鱼总纲(学名:Actinopterygii)鱼类的通称,是一类鳍呈放射状的硬骨鱼。辐鳍鱼是脊椎动物中种类最多的,种数几乎占现存3万多种鱼类的99%,遍及
  • ɯ闭后不圆唇元音为一元音。此音的国际音标符号是变形的拉丁字母 ⟨ɯ⟩(即是倒转的m)。在普通话中,拼音e有时会通过辅音化的加上实现,如拼音的 he 在语音形式上可能为 。 类似于
  • 蜜蚁蜜蚁(英语:Honey Ant),又称之为蜜壶蚁或蜜罐蚁(Honeypot Ant),是蜜罐蚁属(英语:Myrmecocystus)和弓背蚁属等几属蚂蚁的统称,最大特征在于具有一种称为贮蜜蚁(英语:repletes, plerergates,
  • 达尔文学院剑桥大学达尔文学院(英语:Darwin College, Cambridge) 是剑桥大学的一个学院。达尔文学院是剑桥大学两所仅招收研究生的学院中的一所,另一所是克莱尔学堂。
  • span style=color: white;欧洲民主党/span欧洲民主党(英语:European Democratic Party,缩写为EDP)是一个支持欧洲整合的中间派欧洲政党。欧洲民主党在2004年4月16日开始运作,12月9日在布鲁塞尔正式成立。法国民主联盟的弗
  • 刺针刺针可以指: