Sheffers streck

Från Wikipedia
Hoppa till navigering Hoppa till sök
Venndiagram för Sheffers streck.

Sheffers streck är ett logiskt konnektiv, som symboliseras med tecknet | eller alternativt ↑. Med detta dyadiska konnektiv kan man i satslogiken skriva alla de sanningsfunktioner, som i Principia Mathematica kan uttryckas med och , det vill säga alla konstruerbara sådana. Tecknet är benämnt efter den engelske logikern Henry M. Sheffer.

Med satslogikens beteckningar definieras A | B som och i digitaltekniken motsvaras funktionen av en NAND-grind.

Satslogiska symboler och venndiagram[redigera | redigera wikitext]

        

Venn1110.svg          Venn0001.svg

Referenser[redigera | redigera wikitext]

  • Geoffrey Hunter, Metalogic. An Introduction to the Metatheory of Standard First-Order Logic, MACMILLAN, London 1971.