陈述 (逻辑)

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

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

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

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

相关

  • 鲍氏傍人鲍氏傍人(学名:Paranthropus boisei)为人科傍人属的一种,是早期的人族及最大的傍人。他生存于260-120万年前上新世至更新世的东非。他最初被命名鲍氏东非人,及后被更名为鲍氏南方
  • 利口酒利口酒(英语:liqueur,美国发音英语发音:/lɪˈkjʊr/;英国发音发音: /lɪˈkjʊər/),港澳粤语称为力嬌酒,是一种使用蒸馏酒为原料的酒精饮料,以水果、坚果、草药、香料、花朵以及奶油
  • 东弗兰克东法兰克王国(德语:Ostfrankenreich)为中欧的一个君主制国家,存在时间为843年至962年。843年,法兰克王国查理曼的三个后人,洛泰尔、日耳曼人路易及秃头查理签署《凡尔登条约》,共同
  • 舒国治舒国治(1952年-),台湾作家、美食家。祖籍浙江奉化。毕业于世界新闻专科学校(今世新大学)电影制作科。早年从事电影工作,之后转而投入写作,作品以散文、游记、短篇小说为主。曾获得华
  • 米高梅米高梅公司(英语:Metro-Goldwyn-Mayer, Inc.,MGM),是一间美国的媒体公司,在1922年创办,于1981年与联美公司(United Artists)合并,主要包括制作和发行影片和电视节目。截至2019年,米高梅
  • 阿尔卑斯造山运动阿尔卑斯造山运动是一个发生在晚中生代(阿尔卑斯造山运动早期)和新生代的造山期,形成了阿尔卑斯带的山脉。这些山脉包括(自西向东)阿特拉斯山脉、里夫山脉、贝蒂科山脉、坎塔布连
  • 软甲亚纲软甲纲(学名:Malacostraca)是节肢动物门甲壳亚门中的一个纲,是这个亚门中物种数量最多的纲。这个纲中包括人们很熟悉的动物如十足目(如螃蟹、龙虾、虾等)、虾蛄、磷虾等。它还包括
  • 厚朴厚朴,又称作川朴、赤朴、赤朴、厚朴、朴仝、厚皮、烈朴,是中药材的一种,指木兰属树木的树皮。根据现代医学研究显示,厚朴的药用功效包括抗溃疡、松弛肌肉及镇静中枢神经,可以用作
  • 倭人倭人,简称倭,中国中原王朝对日本列岛住民的旧称。从古老的著作《山海经》就有对于倭或者倭人的记述,但记述由于时代局限性,所指地点、时间不明,有待进一步了解。到了《论衡》、《
  • 春川第6师(朝鲜语:대한민국 6보병사단)第2军春川战役,是朝鲜战争开始后,朝鲜人民军越过38线全面南侵而发起的战役,结果是大韩民国国军胜利,成功撤退。