Anfeque (do grego ἀμφηκή, 'lâmina-dupla'), é um termo criado por Charles Sanders Peirce para designar qualquer uma das duas operações muitas vezes referidas como Conectivo de Sheffer, Flecha de Peirce, ou NAND e NOR. Cada um desses operadores lógicos são denominados operador auto-suficiente, pois derivam ou generalizam todas os outros operadores lógicos, o que denota completude funcional.

Por exemplo, significa que x é falso e y é falso. Então , significará que z é falso, porém essa indicação é falsa e x é falso e y também o é.

Conseqüentemente, o valor de é o mesmo do ; e o valor de é falso, porque x é necessariamente falso; enquanto que o valor de não é o caso se é verdadeiro; e é necessariamente verdadeiro apenas quando valor de x é verdadeiro.

Com estes dois sinais, o vinculum (que equivale aos parênteses, colchetes, chaves, etc.) e o será chamado anfeque, e todas as afirmações a respeito dos valores das quantidades podem ser expressos. (C.S. Peirce, CP 4.264).

Na passagem citada, Peirce introduz o termo anfeque para os operadores lógicos binários que são atualmente chamados de negação conjunta em lógica, o operador NOR na ciência computacional, ou ainda pela expressão “nenhum dos dois" na linguagem natural. Para esta operação, emprega-se o símbolo tipográfico representado pela inversão do símbolo do zodíaco de Áries. Este mesmo símbolo também pode denotar o conectivo ou operador que é conhecido como negação alternativa, ou operador NAND para a ciência da computação, ou ainda como "não … e" também na linguagem natural.

Ver também

editar