Negación alterna
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 Plantilla:Ecuación 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
Plantilla:Ecuación 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