25 vztahy: Axiom, Disjunkce, Ekvivalence (logika), Exkluzivní disjunkce, Formální jazyk, Fuzzy logika, Hilbertovský kalkulus, Implikace, Kauzalita, Konjunkce (matematika), Konsekvent, Kontradikce, Logický člen, Logika, Matematická logika, Matematika, Modus ponens, Negace, Predikátová logika, Splnitelnost, Spočetná množina, Tautologie, Uspořádání, Validita, Zobrazení (matematika).
Axiom
Axiom (z řec. axióma, to co se uznává) je tvrzení, které se předem pokládá za platné, a tudíž se nedokazuje.
Nový!!: Výroková logika a Axiom · 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ý!!: Výroková logika 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ý!!: Výroková logika 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ý!!: Výroková logika a Exkluzivní disjunkce · Vidět víc »
Formální jazyk
Formální jazyk je v matematice, logice a informatice libovolná množina konečných řetězců (tj. řetězců konečné délky) nad určitou abecedou.
Nový!!: Výroková logika a Formální jazyk · Vidět víc »
Fuzzy logika
Aplikace fuzzy logiky na měření teploty umožňuje používat pojmy jako „studená voda“, „teplá voda“, „horká voda“, které nemají striktní hranice Fuzzy logika (česky též mlhavá logika) je podobor matematické logiky odvozený od teorie fuzzy množin, v němž se logické výroky ohodnocují mírou pravdivosti.
Nový!!: Výroková logika a Fuzzy logika · Vidět víc »
Hilbertovský kalkulus
Hilbertovský kalkulus (také hilbertovský klasický kalkulus) je jeden z logických kalkulů, kterými se zabývá logika.
Nový!!: Výroková logika a Hilbertovský kalkulus · Vidět víc »
Implikace
Implikace (z lat. implicatio, propletení, zahrnutí) znamená vztah vyplývání nebo zahrnutí.
Nový!!: Výroková logika a Implikace · Vidět víc »
Kauzalita
Kauzalita (z lat. causa, příčina) znamená příčinnost, kauzální vztah mezi příčinou a jejím následkem.
Nový!!: Výroková logika a Kauzalita · Vidět víc »
Konjunkce (matematika)
#PŘESMĚRUJ Konjunkce (logika).
Nový!!: Výroková logika a Konjunkce (matematika) · Vidět víc »
Konsekvent
Konsekvent, neboli sémantický důsledek, případně i tautologický důsledek (symbol ⊨), je sémantický termín výrokové logiky z matematické logiky.
Nový!!: Výroková logika a Konsekvent · Vidět víc »
Kontradikce
Kontradikce (z lat. contra-dicere, protiřečit) znamená spor nebo protimluv.
Nový!!: Výroková logika a Kontradikce · Vidět víc »
Logický člen
Logický člen neboli hradlo je základní stavební prvek logických obvodů, který vyčísluje logickou funkci.
Nový!!: Výroková logika a Logický člen · 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ý!!: Výroková logika 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ý!!: Výroková logika a Matematická logika · Vidět víc »
Matematika
Ilustrace šíře matematických disciplín Matematika (z řeckého (mathématikos).
Nový!!: Výroková logika a Matematika · Vidět víc »
Modus ponens
Pravidlo modus ponens, též modus ponendo ponens nebo pravidlo vynětí, je odvozovací pravidlo a základ argumentace a dokazování nejen ve výrokové logice.
Nový!!: Výroková logika a Modus ponens · 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ý!!: Výroková logika a Negace · Vidět víc »
Predikátová logika
V matematice a logice se pojmem predikátová logika označuje formální odvozovací systém používaný k popisu matematických teorií a vět.
Nový!!: Výroková logika a Predikátová logika · Vidět víc »
Splnitelnost
Splnitelnost (často zkracovaná jako SAT z anglického satisfiability) je v logice problém, zda pro daný logický výraz s proměnnými (formuli) existují takové přípustné hodnoty proměnných, aby formule byla pravdivým výrokem.
Nový!!: Výroková logika a Splnitelnost · Vidět víc »
Spočetná množina
Spočetná množina je matematický pojem z teorie množin, označující množinu, kterou lze vzájemně jednoznačně (tzv. bijektivně) zobrazit na některou podmnožinu množiny přirozených čísel.
Nový!!: Výroková logika a Spočetná množina · Vidět víc »
Tautologie
Tautologie (z řeckého, tautologia, výpověď o témže) je v logice vždy pravdivý složený výrok. Je pravdivý vždy, bez ohledu na pravdivostní hodnotu jednotlivých částí takového výroku.
Nový!!: Výroková logika a Tautologie · Vidět víc »
Uspořádání
Uspořádání (přesněji neostré částečné uspořádání) je matematický pojem z teorie uspořádání.
Nový!!: Výroková logika a Uspořádání · Vidět víc »
Validita
Validita (z lat. validus, statný, silný, zdravý) označuje platnost, například dokumentu, vědeckého postupu nebo argumentu.
Nový!!: Výroková logika a Validita · Vidět víc »
Zobrazení (matematika)
Zobrazení je v matematice speciálním případem binární relace, u které má každý vzor nejvýše jeden obraz.
Nový!!: Výroková logika a Zobrazení (matematika) · Vidět víc »
Přesměrování zde:
Formule výrokové logiky, Pravdivostní ohodnocení, Výroková formule.