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.