3 ms·
But algebra does not preserve truth values. It guarantees that if you start with a true statement you will end with a true statement. If you begin with a false
by gizmo686 13y ago
But algebra does not preserve truth values. It guarantees that if you start with a true statement you will end with a true statement. If you begin with a false statement, it is still valid to end with a true statement. Simple examble:
1=2 | false
0 * 1=0 * 2 |Multiply both sides by 0
0=0 | true
- bitwize 13y agoMultiplying both sides by zero yields an equation which is vacuously true, and is not useful for solving the problems algebraists set out to solve.
- bitwize 13y agoSorry, s/vacuously true/tautological/g
- gizmo686 13y agoTrue, but it is still valid algebra. There are other examples where one might turn a false statement into a true statement without doing something as pointless as multipling by zero. A common example is squaring an equation. Consider a system of equation in which it can be shown that x=3. Within this system, the statement x=-3 is false, however the statement x^2=9 is true. Again, this specific example is contrived, but this does come up annoyingly often.
- lutusp 13y agoIf you replace your numerical values with algebraic symbols, you may see the problem with your analysis -- its use of a zero allows 1 to equal 2, as shown in this classic example: http://www.jimloy.com/algebra/two.htm http://www.jimloy.com/algebra/two.htm So multiplying by zero isn't always a legitimate operation. That's why the multiplicative identity is one, not zero.
- gizmo686 13y agoMultiplying both sides by zero is always legitimate (if rarely useful). In the example linked, the error is in dividing by zero. More specifically, in dividing by (a-x). Formally speaking, this operation is only defined when (a-x)!=0. Mutipling by zero is defined for all real numbers.
- lutusp 13y agoThe parallel I was making is that a numerical term invalidated an equation, rendered it meaningless, not that the circumstances were identical.
- saraid216 13y agoI think you're having trouble with the definition of "preserve". If you begin with a false statement, there isn't actually a truth value available to preserve.