Konsekvent: Porovnání verzí
Smazaný obsah Přidaný obsah
m + důležitý interlink |
m do vyjasnění rozporu s enwiki dávám {{Neověřeno}}, viz diskuze |
||
Řádek 1:
{{Neověřeno}}
'''Konsekvent''', neboli sémantický důsledek, případně i tautologický důsledek (symbol |═ ), je [[Sémantika|sémantický]] [[termín]] [[Výroková logika|výrokové logiky]] z [[Matematická logika|matematické logiky]]. Označuje následek nebo následující člen.
| |||