En la lógica de muchos valores con valores de verdad ordenados linealmente , la negación cíclica es una función de verdad unaria que toma un valor de verdad ny 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 sea {0,1,2}, que ~ denote negación y sea p una variable que se extienda sobre los 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), "Negation", 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ágs. 188-189 .