Negación cíclica
En la lógica multivaluada con valores de verdad ordenados linealmente , la negación cíclica es una función de verdad unaria que toma un valor de verdad n y devuelve n − 1 como valor si n no es el valor más bajo; de lo contrario, devuelve el valor más alto.
Por ejemplo, supongamos que el conjunto de valores de verdad es {0,1,2}, que ~ denota negación y que p es una variable que abarca varios valores de verdad. Para estas opciones, si p = 0, entonces ~p = 2; y si p = 1, entonces ~p = 0.
La negación cíclica fue introducida originalmente por el lógico y matemático Emil Post .
Referencias
- Mares, Edwin (2011), "Negación", en Horsten, Leon; Pettigrew, Richard (eds.), The Continuum Companion to Philosophical Logic , Continuum International Publishing, págs. 180-215, ISBN 9781441154231. Véanse en particular las páginas 188-189.
 | Este artículo relacionado con la lógica matemática es un esbozo . Puedes ayudar a Wikipedia expandiéndolo. |
