neslučitelnost
Shefferova funkce logické operace, vytvářející ze dvou výroků výrok složený pomocí funktoru „není slučitelné“ s pravdivostní tabulkou (matici pravdivostních hodnot)
P Q P/Q
1 1 0
1 0 1
0 0 1
Tento funktor použil v roce 1913 H. M. Sheffer a je jedním ze dvou funktorů (vedle tzv. současného popření), z nichž každý sám postačuje k definování všech ostatních výrokotvorných funktorů.
Vytvořeno:
14. 3. 2000
Aktualizováno:
23. 8. 2006
Autor: -red-
Odkazující hesla: funktor, slučitelnost, vylučovací soud.