Negación lógica

Negación
Diagrama de Venn 04.svg
Diagrama de Venn de
Nomenclatura
Lenguaje formal
Puerta Lógica
Tabla de la Verdad



En lógica y matemática, la negación, también llamada complemento lógico, es una operación sobre proposiciones, valores de verdad, o en general, valores semánticos. Intuitivamente, la negación de una proposición es verdadera cuando dicha proposición es falsa, y viceversa. En lógica clásica la negación está normalmente identificada con la función de verdad que cambia su valor de verdadero a falso y viceversa. En Lógica intuicionista, de acuerdo a la interpretación de Brouwer–Heyting–Kolmogorov, la negación de una proposición p es la proposición cuyas pruebas son las refutaciones de p.

Lógica de proposiciones

Siendo el conjunto de proposiciones, y proposiciones de , se puede definir la operación unaria: negación, por la que a una variable de se le asigna el valor negado de la variable de .

Other Languages
العربية: نفي (رياضيات)
čeština: Negace
dansk: Negation
Deutsch: Negation
emiliàn e rumagnòl: Negasiòun (matemàtica)
English: Negation
Esperanto: Logika neo
eesti: Eitus
فارسی: نقیض
हिन्दी: निषेध (तर्क)
hrvatski: Negacija
magyar: Negáció
Bahasa Indonesia: Negasi
日本語: 否定
қазақша: Терістеу
ភាសាខ្មែរ: អវិជ្ចមានកម្ម
한국어: 부정
Latina: Negatio
македонски: Негација
Bahasa Melayu: Negasi
Nederlands: Logische negatie
norsk: Negasjon
polski: Negacja
Piemontèis: Negassion
português: Negação
русский: Отрицание
srpskohrvatski / српскохрватски: Logička negacija
Simple English: Logical negation
slovenčina: Negácia (logika)
slovenščina: Negacija
shqip: Negacioni
српски / srpski: Логичка негација
svenska: Negation
тоҷикӣ: Инкор
ไทย: นิเสธ
українська: Заперечення
中文: 逻辑非