Matematik
Kontraponering af implikation
Hej SP.
Jeg har en sætning (sætning 19, DisMat) omhandlende "kontraponerende implikation", som siger, at
.
Jeg skal bruge denne sætning på implikationen
.
Hvis vi kalder venstre side af implikationen (altså antagelsen x er forskellig fra 0) for p og højre side af implikationen (at der eksisterer et y sådan at x gange y er lig 1) for q. Så vil jeg mene, at jeg skal gøre nedestående, hvor jeg ikke er sikker på, hvad der skal stå ved (...):
Mit bud vil være, at der skal stå
, men er dette korrekt?
Men jeg er i tvivl, da jeg både ønsker at omdanne 'eksisterer' til 'eksisterer ikke' eller 'for alle' OG/ELLER omdanne 'lig med' til 'forskellig fra'. Og skal jeg notere noget omkring x? Fx at det gælder for all x?
Svar #2
22. september 2020 af Eksperimentalfysikeren
Du skal ombytte eksistenskvantor med alkvantor og lighed med ulighed.
Svar #4
22. september 2020 af TheNicken99
#1venstre side bliver for ethvert y gælder at x*y ≠1
Skal man altid vende ALT (altså både ligheder, uligheder og kvantorer - herunder 'og' / 'eller'), når man bruger negation?
Eller hvordan ser du, at man både skal ændre 'eksisterer' til 'for ethvert' OG 'lighed' til 'forskellig fra'?
Skriv et svar til: Kontraponering af implikation
Du skal være logget ind, for at skrive et svar til dette spørgsmål. Klik her for at logge ind.
Har du ikke en bruger på Studieportalen.dk?
Klik her for at oprette en bruger.