Shefferin viiva

Wikipedia
Loikkaa: valikkoon, hakuun

Shefferin viiva on propositiologiikassa konnektiivi, jolla on seuraavanlainen totuusarvotaulukko:

\,\!A B\,\! (A|B)\,\!
1 1 0
1 0 1
0 1 1
0 0 1

Shefferin viiva tarkoittaa normaalissa kielessä samaa kuin "ei molemmat". Se on nimetty yhdysvaltalaisen loogikon Henry M. Shefferin mukaan.

Katso myös[muokkaa | muokkaa wikitekstiä]

Tämä matematiikkaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.