y. is a user on mathtod.online. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
y. @waidotto

定義されているとは限らないものを項(term)として書いてしまうという問題は0除算と似たようなものがありますね.
例えば「$x,y$を実数とするとき,\[1/x=y\]という命題の否定は何か?」というのは一見すると厳密な問題に見えるけれども,実際には$x$が$0$のときは数学的に意味をなしていない(「$1/0=y$」は真偽の定まる命題あるいは論理式ではない)ようなものですね.

· Web · 0 · 0