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.
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.