Búsqueda por
palabras:
  • Paraula 1
  • Paraula 2
  • Paraula 3
  • Paraula 4
Palabra exacta:
Filtrar por
temas:
Filtrar por
autores:

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        

Este web utiliza "cookies" propias y de terceros para ofrecerle un mejor servicio, al navegar el usuario acepta su uso Más info
ACCEPTAR