SHEFFER (TRAZO DE)

En varias oca­siones se intentó reducir el número de signos primitivos de un cálculo. El intento más co­nocido es el del lógico norteamericano H[enry] M[aurice] Sheffer (1883-1964); pro­fesor en la Universidad de Harvard. Sheffer introdujo ‘↓’, que se conoce con el nombre de «trazo de Sheffer» (y también puede llamarse «raya de Sheffer» o «trazo-función de Shef­fer»). ‘↓’ se lee ‘ni... ni’ y tiene valores tales que una proposición molecular binaria ‘p ↓ q’ es verdadera si, y sólo si, sus componentes son ambos falsos. La tabla de valores para ‘↓’ es:

p           q          p ↓ q
___________________
V           V           F
F            V           F
V            F           F
F