Logika

pojednává článek Logik (hra). 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. Logika je také formální…

(na rozdíl od predikátové logiky). Výroková logika je, stejně jako fuzzy logika, podoborem matematické logiky. Výroková logika se skládá ze syntaktických…

Matematická logika je vědní disciplína nacházející se na rozhraní mezi logikou a matematikou. Zabývá se zkoumáním, formalizováním a matematizováním zejména…

intenzionální logika (TIL) je logika, která měla některé rysy společné s logikou, kterou formuloval v sedmdesátých letech 20. století americký logik Richard…

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…

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. Predikátová logika je rozšířením…

Modální logika je oblast logiky zkoumající logické operace, tzv. modality (modální operátory jsou například „je možné, je nutné, je nemožné“). První,…

Booleova logika se zabývá logickými operacemi konjunkce (značená též "*", AND, "&" nebo ∧ {\displaystyle \wedge } ), disjunkce (značena též "+", OR, "|"…

logika je gnoseologická teorie o vyplývání a usuzování založeném na koncepcích vycházející z Hegelova pojetí dialektiky. Klasická Aristotelova logika…

kalkulus Intuicionistická teorie typů Vícedruhová logika Logika (anglicky) Miller, Dale, 1991, "Logic: Higher-order," Encyclopedia of Artificial Intelligence…

TTL (transistor-transistor-logic; tranzistorově-tranzistorová logika) je technologie logických integrovaných obvodů, vycházející z použití bipolárních…

volná logika ostře slabší než klasická logika - množina dokazatelných formulí ve volné logice je podmnožinou dokazatelných formulí v klasické logice. Tedy…

Intuicionistická logika je druh logiky, který nepoužívá princip vyloučeného třetího. Pravdivostní hodnoty 0 a 1 v ní znamenají „není možno zkonstruovat“…

kategorická logika syntaxi i sémantiku kategorií a interpretaci pomocí funktorů. Kategorická logika poskytuje bohaté koncepční pozadí pro konstrukce v logice a…

nachází temporální logika od poslední třetiny dvacátého století uplatnění i v informatice a umělé inteligenci. Temporální logika má svůj počátek v díle…

(interpretace) jazyka, universum diskurzu Výroková formule Predikátová logika prvního řádu Slovníkové heslo formule ve Wikislovníku Portály: Matematika…

Logika z Port-Royal (francouzsky: Logique de Port-Royal; původním názvem však: La Logique ou l'art de penser, tj. "Logika čili umění myslet") je název…

informace naleznete také v článcích Negace, Konjunkce (logika), Disjunkce, Implikace a Ekvivalence (logika). Výroky označujeme velkými písmeny. negace: ¬A{\displaystyle…

kratší a méně přesný termín predikátová logika. Predikátová logika prvního řádu se odlišuje od výrokové logiky zavedením kvantifikovaných proměnných. Teorie…

Lineární logika je verze formální logiky, v níž při odvození dochází k vyřazení antecedentu z množiny formulí. Máme-li například {A}{\displaystyle \{A\}}…