11 vztahy: Binární operace, Disjunkce, Ekvivalence (logika), Implikace, Konjunkce (logika), Logický člen, Matematika, Negace, Pravdivostní hodnota, Unární operace, Výrok (logika).
Binární operace
Binární operace je matematická operace, která pracuje se dvěma vstupními hodnotami (operandy).
Nový!!: Logická operace a Binární operace · Vidět víc »
Disjunkce
Disjunkce znamená odloučení, rozdělení, odloučené oblasti, sloučení oblastí, logický součet výroků, množinových prvků zařazených do jedné skupiny celku.
Nový!!: Logická operace a Disjunkce · Vidět víc »
Ekvivalence (logika)
Název ekvivalence je v logice používán pro binární logický operátor značený symbolem ⇔ (\Leftrightarrow \,\!). Významově odpovídá tento operátor větné konstrukci „právě tehdy, když“ (zastarale „tehdy a pouze tehdy, když“ a „tehdy a jen tehdy, když“) (anglicky if and only if, zkráceně iff) — ekvivalence tedy říká, že spojovaná tvrzení platí pouze zároveň (obě ano, nebo obě ne).
Nový!!: Logická operace a Ekvivalence (logika) · Vidět víc »
Implikace
Implikace (z lat. implicatio, propletení, zahrnutí) znamená vztah vyplývání nebo zahrnutí.
Nový!!: Logická operace a Implikace · Vidět víc »
Konjunkce (logika)
Průnik dvou množin je definovaný pomocí konjunkce: x \in \left (A \cap B \right) \equiv \left (x \in A \right) \land \left (x \in B \right) Logická konjunkce (používají se pro ni symboly AND, & nebo \wedge) je binární logická operace, jejíž hodnota je pravda, právě když obě vstupní hodnoty jsou pravda.
Nový!!: Logická operace a Konjunkce (logika) · Vidět víc »
Logický člen
Logický člen neboli hradlo je základní stavební prvek logických obvodů, který vyčísluje logickou funkci.
Nový!!: Logická operace a Logický člen · Vidět víc »
Matematika
Ilustrace šíře matematických disciplín Matematika (z řeckého (mathématikos).
Nový!!: Logická operace a Matematika · 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ý!!: Logická operace a Negace · Vidět víc »
Pravdivostní hodnota
V klasické logice se používají dvě pravdivostní hodnoty – pravda a nepravda.
Nový!!: Logická operace a Pravdivostní hodnota · Vidět víc »
Unární operace
V matematice je unární operace taková operace, která má jediný operand.
Nový!!: Logická operace a Unární operace · 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ý!!: Logická operace a Výrok (logika) · Vidět víc »