06/11/25 07:32:17
>>130
＞「-*-=+は定理である」
-は演算子を表すただの記号であって、掛けたり足したりする対象じゃないので…
「-*-=+は命題ではない」というのが一番正確かと……
こういうわけのわからない表現をしているあなたが言えた台詞じゃないです
「(-a)(-b)=ab」なのか、「a<0、b<0ならばab>0」なのか、どっちともとれる表現なので
どっちかに限定してその表現を使ってください。
両方とも同じじゃないか、と思うかもしれませんが、有限体なんかでは
前者の命題は意味を持ちますが後者の表現は意味を持ちません。
aやbの動く範囲が有利整数環Zなのか一般の環なのか順序環なのかといったことは
その後で考える事になります。
因みに「群環」というのは群ともただの環とも違う一つの対象なので
抽象代数学の分野において、とか言うべき。
>>135
違います。
具体的に言うと実数の話なのか整数の話なのかもっと広い話なのかわからん、ということです。