![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/0/0e/NOT-logical.png/640px-NOT-logical.png&w=640&q=50)
Negation
förnekande av något / From Wikipedia, the free encyclopedia
Negation är i logiken ett förnekande av en sats på ett sådant sätt att, om satsen A är sann, så är icke-A falsk och om A är falsk, så är icke-A sann. Negationen av satsen A skrivs som ¬A, där ¬ är ett konnektiv. Negationen av satsen "Det regnar", är satsen "Det regnar inte".[1]
- Uppslagsordet ”NOT” leder hit. För andra betydelser, se Not.
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0e/NOT-logical.png/640px-NOT-logical.png)
Snabbfakta Logisk operator (Logisk grind), Se även ...
![]() |
---|
Logisk operator (Logisk grind) |
|
Se även |
Stäng
I vardagsspråket motsvaras negation av orden "ej", "icke" eller "inte". Dessa betecknas i formella system med ¬ eller ibland med ~ , vilka skrivs framför påståendet. Mer explicit motsvaras negation av att uttrycket "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; Språkligt: "det är inte så att p", det vill säga "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 ursprungliga påståendet. Språkligt: "det är inte så att det är sant att p" eller kortare "det är inte sant att p", det vill säga "det är falskt att p". Formellt: "Fp" (F = "det är falskt att").
Sammanblandning av dessa båda betydelser och vad som följer av det är en vanlig källa till filosofiska diskussioner.