推论

✍ dations ◷ 2025-02-23 14:21:16 #推论
在数学上,推论(也称为系、系理)指能够“简单明了地”从前述命题推出的论断,推论往往在定理后出现。如果命题B能够被简单明了的从命题A推导出,则称B为A的推论。推论、定理、命题等术语的使用区别往往是比较主观的,因为“简单明了”的定义本来就与作者及上下文相关。当然,推论一般被认为不如定理重要。

相关

  • 囊肿囊肿(Cyst)是一个封闭的囊,具有明显的膜组织,也会产生细胞分裂。囊肿内部可能包含空气、液体或半固体物质。脓液的集合体称为一个囊肿。囊肿有时会自行消失,也可能需要通过外科手
  • 钩虫钩虫症(ancylostomiasis)是一种由钩虫属寄生虫引起的病变。钩虫病又称为矿工贫血病,隧道病,砖瓦贫血症和埃及黄化病种等。视乎致病物种,不同物种所引起的病征及病况或有不同。 但
  • 千年发展目标千年发展目标(英语:Millennium Development Goals)是在2000年联合国千年首脑会议上提出的8项国际发展目标,并在联合国千年宣言(英语:United Nations Millennium Declaration)中正式
  • 心像表象(心理图像),在大多数情况下,类似感知某些物体、事件、场景,不过对感官而言,感知对象实际上并不存在。 有些时候,尤其是在入眠期(英语:Hypnagogia)和半醒(半意识)(英语:Hypnopom
  • 吸附系统吸附是指某种气体,液体或者被溶解的固体的原子,离子或者分子附着在某表面上。这一过程使得表面上产生由吸附物构成的膜。吸附不同于吸收,吸收是指作为吸附物的液体浸入或者溶解
  • 基洛夫州基洛夫州(俄语:Кировская область,罗马化:Kirovskaya oblast)位于东欧平原东部,属伏尔加联邦管区,是俄罗斯联邦主体之一,同时为“伏尔加-维亚特经济区”成员之一(参
  • 世界动物卫生组织世界动物卫生组织(法语:Organisation mondiale de la santé animale,缩写来自旧名-“国际兽疫局”,法语:Office international des épizooties, OIE),是1924年成立的一个国际组织
  • 代盖赫利耶省代盖赫利耶省(阿拉伯语:محافظة الدقهلية‎),是埃及二十九省之一,位于该国尼罗河三角洲东北部。首府曼苏拉。面积3,471平方公里,人口4,985,187人(2006年统计)。
  • 塞黑解体 · 内战塞尔维亚和黑山国家联盟,通称塞尔维亚和黑山,简称塞黑,为前南斯拉夫余下没有独立的塞尔维亚和黑山两个共和国于2003年至2006年组成的松散联邦制国家。塞黑两国于1
  • 头顶骨颅骨或者头骨、骷髅头是指人类或者许多脊椎动物的头部骨性结构。头骨之功能为支撑脸部,并保护脑部。头骨分为两部分:颅骨和下颌骨。一般所称之‘头颅’通常仅指颅骨,并未包含下