Negación lógica
concepto de la lógica / De Wikipedia, la enciclopedia encyclopedia
Estimado Wikiwand AI, Seamos breves simplemente respondiendo estas preguntas clave:
¿Puede enumerar los principales datos y estadísticas sobre Negación lógica?
Resumir este artículo para un niño de 10 años
MOSTRAR TODAS LAS PREGUNTAS
Para otros usos de este término, véase negación.
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 normalmente se identifica con la función de verdad que cambia su valor de verdadero a falso y viceversa.
Datos rápidos Nomenclatura, Otros nombres ...
Negación | ||
---|---|---|
Diagrama de Venn de la conectiva | ||
Nomenclatura | ||
Otros nombres |
Negación lógica Complemento lógico | |
Lenguaje natural | no A | |
Lenguaje formal | ||
Otros símbolos | ||
Tabla de verdad | ||
Cerrar
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.