5 svar
818 visningar
birdbox21 311
Postad: 3 sep 2020 23:42

Logisk Negation

Hej! 

Jag har försökt att fatta vad "logisk negation" betyder/innebär, alltså det här tecknet "¬ ", men jag kan verkligen inte fatta den. Kan någon snälla förklara så förenklat som möjligt vad det innebär? Bokens beskrivning är dessvärre så dåligt att man inte fattar något. 

Tack för hjälpen! :) 

Smaragdalena 80504 – Avstängd
Postad: 3 sep 2020 23:53

Kort svar: Det betyder "inte".

Om påståendet A är "Solen skiner" så är påståendet ¬A "Solen skiner inte".

birdbox21 311
Postad: 4 sep 2020 00:06
Smaragdalena skrev:

Kort svar: Det betyder "inte".

Om påståendet A är "Solen skiner" så är påståendet ¬A "Solen skiner inte".

ok, hur skulle det här kunna tolkas då? Beskrivningen från boken F (förutsättning) , P(påstående)
F => P och ¬P=>¬F (¬F<=¬P) 

F medför P och P medför inte för F ( F medför inte för P) 

Har jag uppfattat det rätt här eller behövs det mera detaljer? 

Tack! :)

Smaragdalena 80504 – Avstängd
Postad: 4 sep 2020 00:15

Om F är "Solen skiner" och P är " Jag har en röd hatt på mig" så kan man tolka den första strängen "F => P" som "Om solen skiner så har jag en röd hatt på mig". Den andra strängen "¬P=>¬F " kan tolkas "Om jag inte har en röd hatt på mig så skiner inte solen". Dessa båda påståenden är ekvivalenta.

birdbox21 311
Postad: 4 sep 2020 00:18
Smaragdalena skrev:

Om F är "Solen skiner" och P är " Jag har en röd hatt på mig" så kan man tolka den första strängen "F => P" som "Om solen skiner så har jag en röd hatt på mig". Den andra strängen "¬P=>¬F " kan tolkas "Om jag inte har en röd hatt på mig så skiner inte solen". Dessa båda påståenden är ekvivalenta.

Tack så mycket för hjälpen! :D 

Laguna Online 30482
Postad: 4 sep 2020 06:42
birdbox21 skrev:
Smaragdalena skrev:

Kort svar: Det betyder "inte".

Om påståendet A är "Solen skiner" så är påståendet ¬A "Solen skiner inte".

ok, hur skulle det här kunna tolkas då? Beskrivningen från boken F (förutsättning) , P(påstående)
F => P och ¬P=>¬F (¬F<=¬P) 

F medför P och P medför inte för F ( F medför inte för P) 

Har jag uppfattat det rätt här eller behövs det mera detaljer? 

Tack! :)

Man använder ofta ordet "icke" i stället för "inte" när det finns risk för att "inte" uppfattas som en del av språket som man använder utanför formlerna. Du behöver "icke" på flera ställen:

¬P=>¬F
läses
icke P medför icke F

Men med parenteser borde det gå bra med "inte" (när man skriver - uttala dem är ju svårt):
(inte P) medför (inte F)

Svara
Close