biimplikation

nej. Der er flere løsninger for x end invers sinus

For at må benytte biimplikation,  p ⇔ q ,  skal der gælde:

p ⇒ q  ∧  q ⇒ p

og det gør der ikke, se # 1.

hmm, men kan man så lave => i stedet for?

Du kan lave et <= i stedet for

Hvis definitionsmængden indskrænkes til
kun at gælde  x ∈ { x | 0 ≤ x ≤ ^π/₂ }
er    f (x) = sin x    monoton, og har en omvendt funktion   f ^{- 1} (y) = arc sin y  i definitionsintervallet  0 ≤ y ≤ 1 .
I dette tilfælde må man skrive     f (x) = sin x   ⇔  f ^{- 1} (y) = arc sin y
 

# 5      Der gælder endda:

Hvis definitionsmængden indskrænkes til kun at gælde  x ∈ { x |  | x |  ≤  ^π/₂ }
er    f (x) = sin x    monoton, og har en omvendt funktion   f ^{- 1} (y) = arc sin y  i definitionsintervallet   | y | ≤ 1 .
I dette tilfælde må man skrive     f (x) = sin x   ⇔  f ^{- 1} (y) = arc sin y
 

Trådstarters spørgsmål her er sandsynligvis en udløber at trådstarters tidligere tråd

https://www.studieportalen.dk/Forums/Thread.aspx?id=1434031

hvor uligheden sin(x) < -0,2915 søges løst i intervallet [0;2π] .