Sheffers streg, (efter den amerikanske logiker Henry Maurice Sheffer, 1883-1964), logisk konstant, der betegnes med |, "uforenelig med". Hvis p og q er udsagn, er p | q falsk, hvis både p og q er sande, og sand i alle øvrige tilfælde. Alle sandhedsfunktionelle konstanter kan defineres alene ud fra Sheffers streg.
Kommentarer
Kommentarer til artiklen bliver synlige for alle. Undlad at skrive følsomme oplysninger, for eksempel sundhedsoplysninger. Fagansvarlig eller redaktør svarer, når de kan.
Du skal være logget ind for at kommentere.