současné popření
současné popření, binegace - log. binární výroková funkce, ozn. symbolem ↓, s pravostní hodnotou 0001. S. p. a Shefferova funkce (neslučitelnost), ozn. symbolem /, jsou jediné binární funkce, jež umožňují všechny výrokové funkce.
současné popření, binegace - log. binární výroková funkce, ozn. symbolem ↓, s pravostní hodnotou 0001. S. p. a Shefferova funkce (neslučitelnost), ozn. symbolem /, jsou jediné binární funkce, jež umožňují všechny výrokové funkce.
