11 vztahy: Binární operace, Booleova algebra, Disjunkce, Ekvivalence (logika), Exkluzivní disjunkce, Latina, Logická operace, Logika, Matematický důkaz, Nepřímý důkaz, Přímý důkaz.
Binární operace
Binární operace je matematická operace, která pracuje se dvěma vstupními hodnotami (operandy).
Nový!!: Implikace a Binární operace · Vidět víc »
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ý!!: Implikace a Booleova algebra · 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ý!!: Implikace 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ý!!: Implikace a Ekvivalence (logika) · 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ý!!: Implikace a Exkluzivní disjunkce · Vidět víc »
Latina
Latina (lingua Latina) je italický jazyk z indoevropské rodiny jazyků, kterým se mluvilo ve starověkém Římě.
Nový!!: Implikace a Latina · 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ý!!: Implikace 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ý!!: Implikace a Logika · Vidět víc »
Matematický důkaz
Základů''. Jeden z nejstarších dochovaných matematických důkazů V matematice je důkaz demonstrace nutné pravdivosti nějakého tvrzení za určitých předpokladů (axiomů).
Nový!!: Implikace a Matematický důkaz · Vidět víc »
Nepřímý důkaz
Nepřímý důkaz se v matematice používá k dokázání matematických vět tvaru implikace P \rightarrow T, tj.
Nový!!: Implikace a Nepřímý důkaz · Vidět víc »
Přímý důkaz
Přímý důkaz se v matematice používá k dokázání výroku, který má tvar implikace, kde A je výchozí předpoklad a B je výrok, který má být dokázán resp.
Nový!!: Implikace a Přímý důkaz · Vidět víc »