Negation, (af lat. negatio, af negare 'nægte'), i logik konstanten ¬, der sættes foran et udsagn eller en udsagnsfunktion, når disse benægtes. Negationen er som sandhedsfunktionelt konnektiv fastlagt ved, at: hvis p er sand, så er ¬p falsk; og hvis p er falsk, så er ¬p sand; hvor p er et udsagn.
Kommentarer
Kommentarer til artiklen bliver synlige for alle. Undlad at skrive følsomme oplysninger, for eksempel sundhedsoplysninger. Fagansvarlig eller redaktør svarer, når de kan.
Du skal være logget ind for at kommentere.