Konsekvent

V tomto článku důkladně prozkoumáme téma Konsekvent a všechny aspekty s ním související. Od jeho vzniku až po jeho relevanci dnes, přes jeho možné budoucí důsledky, se ponoříme do vyčerpávající analýzy, která pokryje historické i současné aspekty. Konsekvent je téma velkého zájmu a s významným dopadem v různých oblastech, proto je nezbytné porozumět mu jako celku. Prostřednictvím tohoto článku se snažíme poskytnout čtenáři úplnou a podrobnou vizi Konsekvent s cílem vytvořit solidní a obohacující znalosti o tomto tématu.

Tento článek není dostatečně ozdrojován, a může tedy obsahovat informace, které je třeba ověřit.

Jste-li s popisovaným předmětem seznámeni, pomozte doložit uvedená tvrzení doplněním referencí na věrohodné zdroje.

Konsekvent, neboli sémantický důsledek, případně i tautologický důsledek (symbol ⊨), je sémantický termín výrokové logiky z matematické logiky. Označuje následek nebo následující člen.

Definice

Formule K je konsekventem (sémantickým důsledkem) formule S právě tehdy, když je pravdivá ve všech ohodnoceních, kdy je pravdivá formule S.

Tautologie je pak konsekventem každé množiny formulí, tzn. jediné, co nás na K zajímá, je, zda je pravdivá, když je pravdivá S.

Související články

• logika
• teorie množin

Tento článek je příliš stručný nebo postrádá důležité informace. Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty.

Portály: Matematika