Wat is de betekenis van Sheffer stroke?

2025-07-24
Woordenboek automatisering

Henk Biemond (1985)

Sheffer stroke

NIET-EN Een logisch bewerkingsteken met de eigenschap dat indien P, Q en R beweringen zijn, de NIET-EN relatie van P, Q en R ’waar’ is indien tenminste één bewering ’onwaar’ is en ’onwaar’ indien alle beweringen ’waar’ zijn.