negação cíclica - Cyclic negation

Na lógica polivalente com linearmente ordenadas valores de verdade , negação cíclico é uma função verdade unária que toma um valor de verdade n e retorna n  - 1 como valor se n não é o valor mais baixo; caso contrário, retorna o valor mais alto.

Por exemplo, deixar que o conjunto de valores de verdade ser {0,1,2}, deixe ~ denotar negação, e deixá- p ser uma variável que varia ao longo valores de verdade. Para estas opções, se p = 0, em seguida, ~ p = 2; e, se p = 1, em seguida, ~ p = 0.

Negação cíclica foi originalmente introduzido pelo lógico e matemático Emil Publicar .

Referências

  • Mares, Edwin (2011), "Negação", em Horsten, Leon; Pettigrew, Richard, The Companion Continuum para Philosophical Logic , Continuum Internacional Publishing, pp. 180-215, ISBN  9781441154231. Ver, em especial pp. 188-189 .