推论

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

相关

  • DNA微阵列DNA微阵列(DNA microarray)又称DNA阵列或DNA芯片,比较常用的名字是基因芯片(gene chip)。是一块带有DNA微阵列(microarray)的特殊玻璃片或硅芯片片,在数平方公分之面积上布放数千或
  • 乙型流感嗜血杆菌流感嗜血杆菌(学名:Haemophilus influenzae),简称嗜血杆菌,前称费佛氏杆菌(或译拜菲尔氏菌)或流感杆菌,是一种没有运动力的革兰氏阴性杆菌。它是于1892年由费佛(英语:Richard Friedric
  • 高压氧治疗舱高压氧治疗,或简称高压氧,英文:Hyperbaric oxygen therapy (HBOT) ,乃医学上利用高压的氧气来提供治疗的方式。高压氧治疗利用了几个原理:高压氧最主要的治疗适应症包括:以上除一
  • 桃子桃(学名:Prunus persica)是蔷薇科李属一种,花可以观赏,果实多汁,作为水果,可以生食或制桃脯、罐头等,核仁也可以食用。果肉有白色和黄色的,一般在亚洲最受欢迎的品种多为白色果肉,香甜
  • 钍燃料发电钍元素能否取代铀、钚(钚)等核燃料作发电用途值得关注。叶恭平博士支持钍燃料发电因为钍的蕴藏量较多、燃料装造较简易、产生较少核废料、不易制成武器,而且钍裂变发电较有效率
  • 君士坦丁堡君士坦丁堡(希腊语:Κωνσταντινούπολις Κωνσταντινούπολη;拉丁语:Constantinopolis;奥斯曼土耳其语:قسطنطینیه‎;现代土耳其语:İstanbu
  • 圣希多尼乌斯·阿波黎纳里斯圣希多尼乌斯·阿波利纳里斯(英语:Sidonius Apollinaris),(430年-489年)。古罗马末期的诗人,外交家,主教。出生于今法国里昂,早年显贵,后进入仕途。西哥特人入侵时,他曾被囚禁,后被释放。
  • 塔西佗普布利乌斯·科尔奈利乌斯·塔西陀(Publius或Gaius Cornelius Tacitus,也译作塔吉突士,55年?—117年?),罗马帝国执政官、雄辩家、元老院元老,也是著名的历史学家与文体家,他的最主要
  • 蒙达语族蒙达语族(或扪达语族)是南亚语系之下的一个语族,在印度的中部和东部、孟加拉有约9百万使用者。蒙达语族的起源不详,可能是来自印度东部部落的语言。蒙达语族包括桑塔利语、蒙达
  • 补语英语补语的作用对象是主语和宾语,具有鲜明的定语性描写或限制性功能,在句法上是不可或缺的。补语是起补充说明作用的成分。最常见的是宾语补足语。名词、动名词、形容词、副词