Skal ikke pila her være motsatt vei?Nebuchadnezzar wrote:[tex]x^2\,=\,4 \ \Longleftarrow \ x\,=\,2[/tex]
Aha, å tenke på om de har samme løsningsmengde, gjør det mye lettere å skille dem fra hverandre. Jeg tror det skled på plass denne gangen.Vektormannen wrote:En implikasjon [tex]A \ \Rightarrow \ B[/tex] sier at hvis A er sann så er B sann. I ligningssammenheng betyr det at hvis en ligning, A, impliserer en annen ligning, B, må det være sånn at hver gang x løser ligning A, så løser x også ligning B. Da har vi lov å skrive implikasjonspil fra A mot B. Hvis også B impliserer A, dvs. at alle løsninger av B også er løsninger av A, er de to ligningene ekvivalente -- de har samme løsningsmengde (akkurat samme x-verdier som løser ligningene). Da kan vi skrive ekvivalenspil mellom dem. Det gir mening å tenke på ekvivalenspilen som et slags "likhetstegn mellom ligninger", som du sier (eller mer generelt et likhetstegn mellom logiske påstander.)
Takk til dere begge for forklaringer.
Haha, indeed! Tegning er herfra: http://www.matematikk.net/ressurser/mat ... ht=#150725.Aleks855 wrote:Nebu og de skitne tegningene sine. Hvem er han som "spiller på kjøttfløyta"?
