## Negation |

- this article includes a
, butlist of references **its sources remain unclear**because it has**insufficient**.inline citations *(march 2013)**(* )learn how and when to remove this template message negation not definition truth table logic gate normal forms disjunctive conjunctive zhegalkin polynomial post's lattices 0-preserving no 1-preserving no monotone no affine yes in

,logic **negation**, also called the**logical complement**, is an that takes aoperation to another proposition "not ", written , which is interpreted intuitively as being true when is false, and false when is true. negation is thus a unary (single-argument)proposition . it may be applied as an operation onlogical connective ,notions ,propositions , ortruth values more generally. insemantic values , negation is normally identified with theclassical logic that takestruth function *truth*to*falsity*and vice versa. in , according to theintuitionistic logic , the negation of a proposition is the proposition whose proofs are the refutations of .brouwer–heyting–kolmogorov interpretation - definition
- notation
- properties
- rules of inference
- programming
- kripke semantics
- see also
- references
- further reading
- external links

This article includes a its sources remain unclear because it has insufficient . (March 2013) ( |

NOT | |
---|---|

Definition | |

Normal forms | |

0-preserving | no |

1-preserving | no |

Monotone | no |

Affine | yes |

In **negation**, also called the **logical complement**, is an *truth* to *falsity* and vice versa. In

Other Languages

العربية: نفي (رياضيات)

български: Отрицание

català: Negació lògica

čeština: Negace

dansk: Negation

Deutsch: Negation

eesti: Eitus

emiliàn e rumagnòl: Negasiòun (matemàtica)

español: Negación lógica

Esperanto: Logika neo

فارسی: نقیض

français: Négation logique

한국어: 부정 (논리학)

հայերեն: Ժխտում (տրամաբանություն)

हिन्दी: निषेध (तर्क)

hrvatski: Negacija

Bahasa Indonesia: Negasi

italiano: Negazione (matematica)

עברית: לא (לוגיקה)

қазақша: Терістеу

Latina: Negatio

magyar: Negáció

македонски: Негација

Bahasa Melayu: Negasi

Nederlands: Logische negatie

日本語: 否定

norsk: Negasjon

Piemontèis: Negassion

polski: Negacja

português: Negação

русский: Отрицание

shqip: Negacioni

Simple English: Logical negation

slovenčina: Negácia (logika)

slovenščina: Negacija

српски / srpski: Логичка негација

srpskohrvatski / српскохрватски: Logička negacija

svenska: Negation

ไทย: นิเสธ

тоҷикӣ: Инкор

Türkçe: Tümleme (mantık)

українська: Заперечення

中文: 逻辑非