Logisk negation

Wikipedia

En logisk negation är ett påstående som uttrycker ett förnekande av ett påstående, ex: negationen till "det regnar" är "det regnar inte". I vardagsspråket motsvaras negation av orden "ej", "icke" eller "inte", och betecknas formellt med ¬ eller ibland med ~ framför påståendet. Mer explicit motsvaras negation av att "det är inte så att..." sätts framför påståendet. Ett negerat påstående kan uttrycka två olika meningar:

negation av ett påståendes betydelse bildar ett nytt påstående som uttrycker dess motsatta komplementära betydelse; Spåkligt: "det är inte så att p", dvs "det är så att icke-p", Formellt: "¬p".
negation av ett påståendes sanning bildar ett påstående som förnekar sanningen hos det utsprungliga påståendet. Språkligt: "det är inte så att det är sant att p" eller kortare "det är inte sant att p", dvs "det är falskt att p". Formellt: "Fp" (F = "det är falskt att")

Sammanblanding av dessa båda betydelser och vad som följer av dem är en ständig källa till filosofiska diskussioner.

Innehåll

1 Alternativ och kontext
2 Vaghet
3 Regler förknippade med negation
4 Negation i logiska system
5 Tekniska tillämpningar
- 5.1 Inverterare
- 5.2 Switchnät

[redigera] Alternativ och kontext

Ett påstående specificerar eller underförstår en kontext med alternativa möjligheter och pekar ut ett av dessa alternativ. Ex: om kontexten består av de två alternativen "det regnar" och "det regnar inte" så specificerar påståendet kontexten huruvida det regnar eller inte och pekar ut ett av alternativen. Negation är alltid relaterad till en specifik kontext.

Antalet alternativ i en kontext kan variera. Några exempel:

"Någon av oss har skvallrat. Det är inte jag." Den första meningen underförstår en grupp människor och påstår att någon av dessa har skvallrat. Alternativet till detta påstående är "Det är inte så att: någon av oss har svallrat", dvs någon annan utanför gruppen har skvallrat. Den andra meningen underförstår samma grupp av människor, till exempel jag, Pelle, Lisa och Nisse, dvs fyra stycken. Påståendet pekar ut mej som en som inte har skvallrat. Alternativen är "jag har skvallrat", "Pelle har skvallrat", "Lisa har skvallrat" eller "Nisse har skvallrat". Negationen till "Jag har svallrat" blir då "Pelle eller Lisa eller Nisse har svallrat" i denna kontext. I sin tur, negationen "Det är inte så att: Pelle eller Lisa eller Nisse har svallrat" betyder då "Jag har svallrat" i samma kontext. Skulle ytterligare en person dyka upp i gruppen eller någon annan möjlighet uppkomma som ingen tänkt på tidigare så har kontexten och antalet alternativ ändrats och negation i denna nya kontext fått en annan innebörd som inte direkt kan blandas med den tidigare.

På tallinjen med heltal är alternativen till 1 alla heltal som inte är 1. Så negationen till "x är lika med 1" är "x är skilt från 1". Säger dessutom kontexten att det bara finns två tal 1 och 0 att välja på så blir "x är skilt från 1" detsamma som "x är lika med 0". Så negationen till "x är lika med 0" är "x är skilt från 0" som i denna kontext betyder "x är lika med 1".

På tallinjen med reella tal är alternativen till 1 alla rella tal som inte är 1. Så negationen till "x är lika med 1" är "x är skilt från 1". Säger dessutom kontexten att alla tal ska ligga mellan 0 och 1 (till exempel kontexten 0%...100%) så blir "x är skilt från 1" inte detsamma som "x är lika med 0". Negationen till "x är skilt från 1" är "x är lika med 1" som i denna kontext inte är detsamma som "x är skilt från 0".

Vidgning eller byte av kontext eller sammanblandning av likartade kontexter under ett resonemang är en vanlig källa till felslut.

[redigera] Vaghet

Alla kontexter har inte distinkta alternativ. T.ex. är färger inte distinkta alternativ. "Soffan är inte röd" säger att den har en annan färg som inte är röd. Analytiskt är det inga problem att hantera påståendena som om alternativen vore distinkta, men så fort vi kommer till sanningshalten av påståendet uppstår problemet var gränsen går mellan rött och inte rött. För att kunna kommunicera ett sådant påstående måste sändaren och mottagaren vara överens om vad som menas med det ena och det andra.

... Färger kan definieras som en frekvens eller som blandningar av frekvenser

... av "röd, gul, grön, blå, lila" eller "röd, rödorange, orange, orangegul, gul, gulgrön, grön, blågrön, blå, etc"

[redigera] Regler förknippade med negation

[redigera] Dubbel negation (DN)

Dubbel negation innebär att negering av en negerad sats ger en ny sats med samma mening som den ursprungliga onegerade satsen. "Det är inte så att jag inte är hungrig" betyder detsamma som "Det är så att jag är hungrig" dvs "Jag är hungrig"; formellt ¬¬p « p. Ett jämnt antal negationer av en utsagas sanningsvärde leder i den klassiska m.fl. logiska system till det ursprungliga sanningsvärdet.

Vissa logiska system, såsom till exempel intuitionistisk logik förnekar den generella tillämpbarheten av denna regel.

[redigera] Principen om bivalens (PB)

Detta avsnitt är bara påbörjat. Du kan hjälpa till genom att fylla i mer.

[redigera] Principen om kontradiktion (PC)

Detta avsnitt är bara påbörjat. Du kan hjälpa till genom att fylla i mer.

[redigera] Lagen om det uteslutna tredje (LEM)

Detta avsnitt är bara påbörjat. Du kan hjälpa till genom att fylla i mer.

[redigera] Negation i logiska system

[redigera] Klassisk logik

I klassisk logik upprätthålls ingen skillnad mellan negationen av en sats betydelse och av dess sanning. Påståendet ¬p är där sant om påståendet p är falskt och falskt om p är sant. Detta kan beskrivas med sanningstabellen

A	¬A
s	f
f	s

Till detta är relaterat lagen om det uteslutna tredje (LEM) som säger att ett påstående och dess negation, som är påståendets koplement, täcker alla möjligheter, samt principen om bivalens (PB) som säger att ett påstående är antingen sant eller falskt, och principen om att dubbla negationer (DN) tar ut varandra.

[redigera] Intuitionistisk logik

Inom den intuitionistiska logiken är ¬¬p ett svagare påstående än p. Däremot är ¬¬¬p alltid ekvivalent med ¬p, även för intuitionisterna.

[redigera] Aritmetisk representation

I de logiska system där sanningsvärden representeras med talen 0 och 1 eller med reella tal mellan 0 och 1 inklusive dessa, såsom i boolesk algebra, suddig logik med flera, uttrycks negationen ¬p vanligen som sanningsfunktionen 1 - p. Detta ger då likhet mellan ¬¬p och p eftersom detta betyder detsamma som 1 - (1 - p) = p . I en tvåvärd kontext med bara sanningsvärdena 1 och 0 kan detta också skrivas i tabellform: