Implikationer

Tänk dig högerledet som "x>6 eller x=6".

Om vi vet att x>6 måste det även vara sant att "x>6 eller x=6".

Calle_K skrev:

Tänk dig högerledet som "x>6 eller x=6".

Om vi vet att x>6 måste det även vara sant att "x>6 eller x=6".

Innebär inte x>6 att x är större än 6? X skulle väl också kunna vara lika med 6, men hur kan jag rimligt dra den slutsatsen?

Jag förstår hur du tänker, men det är tyvärr inte vad implikationer betyder.

Tänk såhär: Vi vet inte värdet på x, vi vet bara att x>6. Alltså vet vi att x är positivt, dvs x>0. Vi vet också att x>1, x>2 och hela vägen upp till x>=6.

Däremot kan vi t.ex. inte veta med säkerhet att x>7 eftersom att x kan vara 6.5

Uttrycken $x>6$ är och $x\geq6$ är påståenden.

Ett påstående kan vara sant eller falskt.

Är du med på att om $x>6$ är ett sant påstående så är även $x\geq6$ ett sant påstående?

Det viktigaste att förstå är nog det Calle_K skrev ovan: att det är ett eller inbakat i $\geq$