8 vztahy: Logika, Matematická logika, Model (logika), Sémantika, Tautologie, Teorie množin, Termín, Výroková logika.
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ý!!: Konsekvent 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ý!!: Konsekvent a Matematická logika · Vidět víc »
Model (logika)
Model (také struktura) je matematický pojem z oblasti matematickologické sémantiky.
Nový!!: Konsekvent a Model (logika) · Vidět víc »
Sémantika
Sémantika (též sémaziologie) je nauka o významu výrazů z různých strukturních úrovní jazyka – morfémů, slov, slovních spojení a vět, popř.
Nový!!: Konsekvent a Sémantika · 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ý!!: Konsekvent a Tautologie · Vidět víc »
Teorie množin
Teorie množin je matematická teorie, která se zabývá studiem množin.
Nový!!: Konsekvent a Teorie množin · Vidět víc »
Termín
Termín (v lingvistice) – (jinak též odborný název, technický termín, terminus technicus) je výraz - jméno (slovo nebo sousloví), které má v určitém oboru, řemesle či povolání specifický význam.
Nový!!: Konsekvent a Termín · Vidět víc »
Výroková logika
V matematice a logice se pojmem výroková logika označuje formální odvozovací systém, ve kterém atomické formule tvoří výrokové proměnné (na rozdíl od predikátové logiky).
Nový!!: Konsekvent a Výroková logika · Vidět víc »