En matemática y en lógica simbólica, la negación alterna es llamada también incompatibilidad y función de Sheffer. Su relativa ventaja radica en que las demás funciones binarias pueden expresarse con la negación alterna, sin usar la negación simple. Se denota simbólicamente por que se lee «no o no» o bien «o no o no».
Ejemplo: «Hernán Cortés (o) no es mejicano o Juan Rulfo no es español»
Tabla de valores de verdad
Formalmente, la negación alterna viene a ser la negación de una conjunción de dos proposiciones.
Bibliografía Irving M. Copi. Lógica Simbólica. CECSA, México D.F., 2001 ISBN 968-26-0134-7
Referencias y notas
Véase también Negación lógica Conjunción lógica
Categoría:Lógica