#Mapping sin(x)

5 messages · Page 1 of 1 (latest)

urban relic
#

If I wanted to prove that sin(x) was a total function from R to R then I would say that f⊆ R X R where f := { (x,y) ∣ y = sin(x) , x ∊ R } and then it would satisfy the 2 conditions needed for it to be a total function. My problem is the fact that I use the function sin(x) in my definition for the function sin(x) which kind of seems like circular logic is there anyway to avoid this or am I just misunderstanding something and this isn't circular logic or is there something wrong with the proof. Thanks.

sour thornBOT
#
  1. Wait patiently for a helper to come along.
  2. Once someone helps you, say thank you and close the thread with:
+close
  1. Feel free to nominate the person for helper of the week in #helper-nominations
  2. Do not ping the mods, unless someone is breaking the rules.
  3. If you're happy with the help you got here, and the server overall, you can contribute financially as well:
urban relic
#

nevermind

#

+close