陈述 (逻辑)

✍ dations ◷ 2025-12-07 05:54:56 #逻辑概念,陈述

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

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

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

相关

  • 嗜睡症嗜睡症(hypersomnia)是一种会睡眠过度的疾病,主要有两种类型:原发性嗜睡症和反复性嗜睡症。两者的症状相同,但发生频率不同。患有嗜睡症的人会反复发生过度日间嗜睡(英语:Excessive
  • 火成岩岩浆岩,是指岩浆或熔岩冷却和凝固后(地壳里喷出的岩浆,或者被熔化的现存岩石)所成形的一种岩石。岩浆岩是三种主要岩石类型之一,其他两种类型分别是沉积岩和变质岩。现在已经发现
  • 水仙花水仙(学名:Narcissus tazetta subsp. chinensis)为多花水仙的一个亚种,分布于东亚的海滨温暖地区。漳州水仙、普陀水仙、崇明水仙为中国最佳三大水仙品种。水仙是很欢迎的年花,因
  • 龙岩市龙岩市(闽南语白话字:Lêng-nâ-chhī;客语白话字:Liùng-ngâm-sṳ),通称闽西,是中华人民共和国福建省下辖的地级市,位于福建省西南部。市境北接三明市,东达泉州市,东南界漳州市,西南
  • span class=nowrapGdsub2/sub(SOsub4/sub)sub&g硫酸钆是一种无机化合物,化学式为Gd2(SO4)3。用硫酸溶解氧化钆,可以得到硫酸钆。Gd2O3 · GdCl3 · Gd2(SO4)3 · Gd2(SeO4)3 · Gd2(CO3)3 · Gd(NO3)3 · Gd(CH3COO)3 
  • 北碚北.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-setting
  • 粒子侦测器粒子探测器(英语:Particle detector),是在物理实验、原子核物理学等领域用于探测、跟踪和鉴别高能粒子的一种物理实验设备。现代粒子探测器也用于测量放射粒子的能量、动量、旋
  • 塞缪尔·R·麦凯尔维塞缪尔·R·麦凯尔维国家森林(英语:Samuel R. McKelvie National Forest)位于美国内布拉斯加州沙丘(英语:Sandhills (Nebraska))中北部,于1971年10月15日设立(森林此前自1902年以来
  • 独脚戏滑稽戏(上海话拼音:hhuakjixi,发音:'"`UNIQ--templatestyles-00000001-QINU`"' )是中国地方戏种,现主要流行于上海及其周边地区。多以上海话作为表现语言,同时大量模仿吴语太湖片,偶
  • 琅琊颜氏琅邪颜氏,汉代至隋唐时期的士族,从东汉末年的颜盛开始,世代居住在琅邪郡临沂县。著名人物有晋代西平靖侯颜含、南北朝时期的颜延之、颜之推、颜思鲁等人,和唐朝的颜师古、颜真卿