13 vztahy: Formule (logika), Jazyk (logika), Kvantifikátor, Logická operace, Logika, Matematika, Množina, Predikátová logika prvního řádu, Proměnná, Rovnost (matematika), Syntax, Teorie, Výroková logika.
Formule (logika)
Formule (také predikátová formule, srov. výroková formule) je v matematice a logice syntaktický pojem reprezentující nějaké (matematické) tvrzení v jisté formální teorii predikátové logiky prvního řádu.
Nový!!: Formule (logika) a Formule (logika) · Vidět víc »
Jazyk (logika)
V matematické logice se pod pojmem jazyk rozumí pevně zvolená množina symbolů, pomocí nichž se vytvářejí formule.
Nový!!: Formule (logika) a Jazyk (logika) · Vidět víc »
Kvantifikátor
Kvantifikátory jsou symboly používané v matematice a logice (predikátové logice).
Nový!!: Formule (logika) a Kvantifikátor · 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ý!!: Formule (logika) 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ý!!: Formule (logika) a Logika · Vidět víc »
Matematika
Ilustrace šíře matematických disciplín Matematika (z řeckého (mathématikos).
Nový!!: Formule (logika) a Matematika · Vidět víc »
Množina
Množiny Množina je soubor objektů, chápaný jako celek.
Nový!!: Formule (logika) a Množina · Vidět víc »
Predikátová logika prvního řádu
Predikátová logika prvního řádu je formální systém používaný v matematice, filozofii, lingvistice a informatice.
Nový!!: Formule (logika) a Predikátová logika prvního řádu · Vidět víc »
Proměnná
Proměnná je v matematice a programování způsob symbolické reprezentace objektů, který umožňuje zcela abstraktní manipulaci s nimi.
Nový!!: Formule (logika) a Proměnná · Vidět víc »
Rovnost (matematika)
Rovnost v matematice je relace neboli vztah, vyjadřující totožnost objektů, které jsou v tomto vztahu.
Nový!!: Formule (logika) a Rovnost (matematika) · Vidět víc »
Syntax
Syntax neboli skladba (zastarale větosloví) je lingvistická disciplína, jež zkoumá vzájemné vztahy mezi znaky (např. vztahy mezi slovy ve větě (mj. větnými členy), správným tvořením větných konstrukcí a slovosledem, také ale čísly nebo logickými symboly).
Nový!!: Formule (logika) a Syntax · Vidět víc »
Teorie
Teorie je poznatek či soubor poznatků o nějakém předmětu, k nimž se dospělo pomocí uvažování.
Nový!!: Formule (logika) a Teorie · 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ý!!: Formule (logika) a Výroková logika · Vidět víc »
Přesměrování zde:
Atomická formule, Formule predikátové logiky, Otevřená formule, Predikátová formule, Term, Uzavřená formule.