Konsekvent
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, je-li 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