Barre de Sheffer

La barre de Sheffer ↑ {\displaystyle \uparrow } est la négation de la conjonction : Exprimés en fonction de ↑ {\displaystyle \uparrow } , les opérateurs habituels de la logique propositionnelle sont : Liste des symboles logiques Domaine booléen Porte logique N…