barra de Sheffer

f

Lògica

Connectiva lògica binària amb la qual hom pot expressar totes les altres connectives clàssiques.

Si p i q són dues proposicions, hom representa per p/q la doble negació "ni p ni q". La negació de p, "no-p", s’escriu p/p i la disjunció, "p o q", s’escriu (p/q)/(q/p). Aquesta connectiva fou introduïda el 1913 pel lògic nord-americà H.M. Sheffer (1883-1964).