Jeg skal sette inn implikasjons-pil eller ekvivalens-tegn mellom følgende utsagn:
P: ac= bc når c ikke er lik 0
Q: a = b
Er sikker på at P impliserer Q. Men går det andre veien også, eller i tilfelle hvorfor ikke?
Logikk - basic
Moderatorer: Aleks855, Gustav, Nebuchadnezzar, Janhaa, DennisChristensen, Emilga
-
- Grothendieck
- Innlegg: 826
- Registrert: 09/02-2015 23:28
- Sted: Oslo
$P \implies Q$: Dersom $ac = bc$, hvor $c\neq 0$, kan vi dividere med $c$ og få at $a=b$.Straamann skrev:Jeg skal sette inn implikasjons-pil eller ekvivalens-tegn mellom følgende utsagn:
P: ac= bc når c ikke er lik 0
Q: a = b
Er sikker på at P impliserer Q. Men går det andre veien også, eller i tilfelle hvorfor ikke?
$Q \implies P$: Dersom $a=b$ kan vi multiplisere begge sider av likheten med $c\neq 0$ og få at $ac=bc$.
Ja slik tenkte jeg også, men fasit hevder de ikke er ekvivalente. Legger ved oppgave en gang til så du kan sjekke om du endrer mening :DennisChristensen skrev:$P \implies Q$: Dersom $ac = bc$, hvor $c\neq 0$, kan vi dividere med $c$ og få at $a=b$.Straamann skrev:Jeg skal sette inn implikasjons-pil eller ekvivalens-tegn mellom følgende utsagn:
P: ac= bc når c ikke er lik 0
Q: a = b
Er sikker på at P impliserer Q. Men går det andre veien også, eller i tilfelle hvorfor ikke?
$Q \implies P$: Dersom $a=b$ kan vi multiplisere begge sider av likheten med $c\neq 0$ og få at $ac=bc$.
- Vedlegg
-
- 20180313_113018.jpg (790.2 kiB) Vist 1314 ganger
-
- Grothendieck
- Innlegg: 826
- Registrert: 09/02-2015 23:28
- Sted: Oslo
Ja, oppgaven du har vedlagt er forskjellig fra hvordan du originalt formulerte den.Straamann skrev:Ja slik tenkte jeg også, men fasit hevder de ikke er ekvivalente. Legger ved oppgave en gang til så du kan sjekke om du endrer mening :DennisChristensen skrev:$P \implies Q$: Dersom $ac = bc$, hvor $c\neq 0$, kan vi dividere med $c$ og få at $a=b$.Straamann skrev:Jeg skal sette inn implikasjons-pil eller ekvivalens-tegn mellom følgende utsagn:
P: ac= bc når c ikke er lik 0
Q: a = b
Er sikker på at P impliserer Q. Men går det andre veien også, eller i tilfelle hvorfor ikke?
$Q \implies P$: Dersom $a=b$ kan vi multiplisere begge sider av likheten med $c\neq 0$ og få at $ac=bc$.
Forskjellen ligger i din formulering av $P: ac= bc$ når $c$ ikke er lik $0$.
Dette er ikke en helt riktig formulering av $P$ fra oppgaven, som sier: $P: ac=bc$ og $c\neq 0$. Med denne formuleringen ser vi at $Q \nRightarrow P$, ettersom $$a=b \nRightarrow a\cdot 0 = b\cdot 0 \wedge 0\neq 0.$$
Dersom vi ønsker to ekvivalente utsagn, må vi endre $P$ til å korrespondere med din første formulering: Hvis vi lar $$P': c\neq 0 \implies ac = bc$$ og $$Q': a=b,$$ kan du vise at $P'\iff Q'$ som en øvelse.
-
- Grothendieck
- Innlegg: 826
- Registrert: 09/02-2015 23:28
- Sted: Oslo
Ja, lar vi $a= b \in \mathbb{R}$ og $c=0$ ser vi at $Q$ er sann, mens $P$ er usann (nettopp fordi $c=0$). Altså ser vi at $Q \not\Rightarrow P$.Straamann skrev:Ok, jeg tolket det slik at c ikke kunne være lik 0. Men c kan altså være et hvilket som helst tall inkl. 0, og dermed er ikke Q = P?