Konsekvent: Porovnání verzí

'''Konsekvent''', neboli sémantický důsledek, (symbol |═ ) je sémantický termín výrokové logiky z oboru [[matematická logika]]. Označuje následek, nebo následující člen.