请输入您要查询的字词:

 

单词 1123Disequality
释义

1.12.3 Disequality


Finally, let us also say something about disequality,which is negationMathworldPlanetmath of equality:11We use “inequality”to refer to < and . Also, note that this is negation of the propositional identity type.Of course, it makes no sense to negate judgmental equality , because judgments are not subject to logical operationsMathworldPlanetmath.

(xAy):¬(x=Ay).

If xy, we say that x and y are unequalor not equal.Just like negation, disequality plays a less important role here than it does in classicalmathematics. For example, we cannot prove that two things are equal by proving that theyare not unequal: that would be an application of the classical law of double negation, see §3.4 (http://planetmath.org/34classicalvsintuitionisticlogic).

Sometimes it is useful to phrase disequality in a positive way. For example,in Theorem 11.2.4 (http://planetmath.org/1122dedekindrealsarecauchycomplete#Thmprethm1) we shall prove that a real number x has an inversePlanetmathPlanetmathPlanetmathPlanetmath if,and only if, its distance from 0 is positive, which is a stronger requirement than x0.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 15:16:10