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! :)
Kort svar: Det betyder "inte".
Om påståendet A är "Solen skiner" så är påståendet ¬A "Solen skiner inte".
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! :)
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.
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
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)