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.