12 vztahy: Booleova algebra, Exkluzivní disjunkce, Logická operace, Logika, Matematická logika, Negace, Pruh (symbol), Psychoanalýza, Unární operace, Výrok, Výrok (logika), Zákon o vyloučení třetího.
Booleova algebra
Booleova algebra je algebraická struktura se dvěma binárními a jednou unární operací, která zobecňuje vlastnosti množinových a logických operací.
Nový!!: Negace a Booleova algebra · Vidět víc »
Exkluzivní disjunkce
Exkluzivní disjunkce (někdy též vylučovací nebo úplná disjunkce, exkluzivní OR či XOR) je logická operace, jejíž hodnota je pravda, právě když každá vstupní hodnota nabývá, v porovnání s ostatními vstupy, unikátní hodnotu.
Nový!!: Negace a Exkluzivní disjunkce · Vidět víc »
Logická operace
Logická operace je v matematice taková operace s výroky, jejímž výsledkem je opět výrok, jehož pravdivostní hodnota (PRAVDA nebo NEPRAVDA) závisí na pravdivosti výroků a druhu operace.
Nový!!: Negace a Logická operace · Vidět víc »
Logika
Logika má více významů – v češtině se běžně používá ve smyslu myšlenková cesta, která vedla k daným závěrům.
Nový!!: Negace a Logika · Vidět víc »
Matematická logika
Matematická logika je vědní disciplína nacházející se na rozhraní mezi logikou a matematikou.
Nový!!: Negace a Matematická logika · Vidět víc »
Negace
Logická negace (používá se pro ni symbol \neg nebo \mathrm, popř. se označuje pruhem nad proměnnou) je unární logická operace, která vezme výrok "p" do dalšího výroku "ne p", psáno ¬p, který je samostatně interpretován jako pravda, když p je nepravda nebo jako nepravda, když p je pravda.
Nový!!: Negace a Negace · Vidět víc »
Pruh (symbol)
Pruh v matematických zápisech je vodorovná čára nad částí výrazu, která se používá v různých významech.
Nový!!: Negace a Pruh (symbol) · Vidět víc »
Psychoanalýza
Psychoanalýza je soubor psychologických teorií a psychoterapeutická metoda léčby psychických problémů.
Nový!!: Negace a Psychoanalýza · Vidět víc »
Unární operace
V matematice je unární operace taková operace, která má jediný operand.
Nový!!: Negace a Unární operace · Vidět víc »
Výrok
Výrok může označovat.
Nový!!: Negace a Výrok · Vidět víc »
Výrok (logika)
Z hlediska nižší logiky je výrok každé sdělení (gramaticky vyjádřené oznamovací větou), o němž má smysl tvrdit, že je pravdivé (platí), nebo nepravdivé (neplatí).
Nový!!: Negace a Výrok (logika) · Vidět víc »
Zákon o vyloučení třetího
#PŘESMĚRUJ Zákon vyloučeného třetího.
Nový!!: Negace a Zákon o vyloučení třetího · Vidět víc »
Přesměrování zde:
¬.