Shefferin viiva

Shefferin viiva on propositiologiikassa konnektiivi, jolla on seuraavanlainen totuusarvotaulukko: (Shefferin viiva merkitään symbolilla |.)

${\displaystyle \,\!A}$	${\displaystyle B\,\!}$	${\displaystyle (A|B)\,\!}$
1	1	0
1	0	1
0	1	1
0	0	1

Toisin sanoen Shefferin viivalla muodostettu yhdistetty lause on epätosi vain, jos sillä yhdistetyt lauseet ovat molemmat tosia, kaikissa muissa tapauksissa tosi. Se tarkoittaa siis normaalissa kielessä samaa kuin "ei molemmat". Se on nimetty yhdysvaltalaisen loogikon Henry M. Shefferin mukaan.

Elektroniikassa Shefferin viivaa vastaava looginen portti on NAND-portti.

Shefferin viiva on universaali konnektiivi. Toisin sanoen joukko ${\displaystyle \{|\}}$ on universaalinen.

Koska ${\displaystyle \{\lnot ,\land \}}$ on universaali joukko konnektiiveja, niin riittää osoittaa, että konnektiivit ${\displaystyle \lnot }$ ja ${\displaystyle \land }$ voidaan määritellä konnektiivin ${\displaystyle |}$:n avulla.

Olkoot ${\displaystyle A}$ ja ${\displaystyle B}$ mielivaltaisia propositiolauseita.

Shefferin viivan määritelmän nojalla ${\displaystyle v(A|A)=0}$ jos ja vain jos ${\displaystyle v(A)=1}$. Täten ${\displaystyle f_{A|A}=f_{\lnot A}}$.

Shefferin viivan määritelmän nojalla ${\displaystyle v(A|B)=0}$ jos ja vain jos ${\displaystyle v(A)=v(B)=1}$. Edellisen kappaleen nojalla ${\displaystyle v((A|B)|(A|B))=1}$ jos ja vain jos ${\displaystyle v(A|B)=0}$. Täten ${\displaystyle v((A|B)|(A|B))=1}$ jos ja vain jos ${\displaystyle v(A)=v(B)=1}$, joten ${\displaystyle f_{(A|B)|(A|B)}=f_{A\land B}}$.

Osoitettiin siis, että konnektiivit ${\displaystyle \lnot }$ ja ${\displaystyle \land }$ voidaan määritellä konnektiivilla ${\displaystyle |}$. Täten joukko ${\displaystyle \{|\}}$ on universaalinen. ${\displaystyle \square }$

• Peircen nuoli