陈述 (逻辑)

✍ dations ◷ 2025-11-18 23:33:02 #逻辑概念,陈述

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

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

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

相关

  • 提比里亚提比里亚或太巴列(希伯来语:.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova"
  • 地质学原理地质学原理(英文:Principles of Geology)是英国地质学家查理斯·莱尔的名著。1830年至1833年间分成三卷先后出版,莱尔在书中阐述了均变论的观点,认为山川河流的形成都是长时间积
  • 里约环境与发展宣言里约环境与发展宣言(简称里约宣言),是一份由联合国环境与发展会议(又称地球高峰会)在1992年发表的简短文件。里约宣言包括27条原则,旨在指导今后世界各地的可持续发展。第1条原则:
  • 海卫截至2014年6月,海王星已知拥有14颗天然卫星,这些卫星都是以希腊和罗马神话中的水神命名。其中最大的一颗仍然是威廉·拉塞尔在发现海王星之后仅17天,于1846年10月10日发现的海
  • 传染途径在流行病学中,载体又称为病媒,是指疾病携带者和传播者,但其本身不受影响。如疟蚊是疟疾的载体,它在吸血的过程中可以将导致疟疾的疟原虫传入人体内,但疟原虫对于疟蚊本身却不带来
  • 送肉粽送肉粽(台罗:sàng bah-tsàng,白话字:sàng bah-chàng),又名送煞或吃面线,是种民间的传统除煞仪式,为台湾丧葬习俗之一,所谓“肉粽”、“面线”都是台语的黑话,指上吊。先民认为吊颈
  • 捷克宗教捷克宗教(2011)捷克共和国的宗教信仰到20世纪初都是被基督宗教所主导。自20世纪初以来,基督宗教信徒一直在稳定下降,至今基督徒在捷克仍然只是少数。然而,捷克共和国还是世界上历
  • 德莱兹测试德莱兹测试是一个由美国食品药品监督管理局(FDA)的毒理学家 H·德莱兹(H. Draize)和雅各·M·史派斯(Jacob M. Spines)于1944年设计的急性毒性试验。这个实验最初用于测试化妆品,该
  • 台湾铁路路线列表台湾铁路路线列表收录了交通部台湾铁路管理局所经营的台湾铁路各计划中、营运中,或已废止之铁路路线。台铁有西部干线、东部干线、南回线等三条核心的营运路线,构成环绕台湾本
  • 大肚溪乌溪位于台湾中部,为中央管河川,下游河段因流经台中市大肚区,俗称大肚溪,荷兰时期称为甘仔辖河(Kamachat River)。河长119.13公里,居全台第六,流域面积2,025.60平方公里,居全台第四。