陈述 (逻辑)

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

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

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

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

相关

  • 希帕提娅希帕提娅(古希腊语:Ὑπατία,生于约350年-370年之间,死于415年3月),又译作海芭夏、海帕西娅,著名的希腊化古埃及新柏拉图主义学者,是当时名重一时、广受欢迎的女性哲学家、数学家
  • 麻黄麻黄为汉药,或中药中所称“发散风寒药”;古时别名龙沙、卑相、大麻。包括有三种麻黄属的植物:草麻黄(Ephedra sinica)、木贼麻黄(Ephedra equisetina)与中麻黄(Ephedra intermedia),采
  • 陈翰馥陈翰馥(1937年2月10日-),祖籍浙江绍兴,出生于杭州,控制论与系统科学家,中国科学院院士。著名数学家陈建功之子。陈翰馥自上海复兴中学毕业后前往苏联留学,最初就读于列宁格勒水运工
  • 茨温格宫茨温格宫(Der Dresdner Zwinger)位于德国城市德累斯顿,是德国的一个主要地标。茨温格宫所在的位置曾经是有外墙保护的德累斯顿堡垒的一部分,茨温格这个名称在德文中意为同心城堡
  • 圣母教堂圣母教堂(丹麦语:Vor Frue Kirke)是位于丹麦首都哥本哈根的一座教堂,也是丹麦的国家教堂。紧邻哥本哈根大学主楼。现在的教堂建筑为新古典主义风格,竣工于1829年。教堂的历史可以
  • 凯文的幻虎世界《凯文的幻虎世界》(英语:Calvin and Hobbes),又名《卡尔文与霍布斯虎》、《凯文和跳跳虎》、《凯文与虎伯》,是美国卡通漫画家Bill Watterson(英语:Bill Watterson)所绘制的每日连
  • 伏见城伏见城是日本战国时代、安土桃山时代和江户时代初期的城堡。别名为桃山城或伏见桃山城。现时在京都府的伏见区。于1592年开始建成,本来是被破坏的聚乐第的一部分,在指月山建成
  • protein蛋白质(英语:protein,旧称“朊”)是大型生物分子,或高分子,它由一个或多个由α-氨基酸残基组成的长链条组成。α-氨基酸分子呈线性排列,相邻α-氨基酸残基的羧基和氨基通过肽键连接
  • 考德威尔县考德威尔县(英语:Caldwell County)是美国北卡罗莱纳州西北部的一个县。面积1,228平方公里。根据美国2000年人口普查,共有人口77,415人。县治勒诺 (Lenoir)。成立于1841年1月。县
  • 越南帝国越南帝国(越南语:Đế quốc Việt Nam/.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UN