Konsekvent: Porovnání verzí
Smazaný obsah Přidaný obsah
m Editace uživatele 78.136.151.175 (diskuse) vráceny do předchozího stavu, jehož autorem je Midi7 |
Bez shrnutí editace |
||
Řádek 1:
'''Konsekvent''', neboli sémantický důsledek, případně i tautologický důsledek (symbol |═ ) je sémantický termín výrokové logiky z oboru [[matematická logika]]. Označuje následek, nebo následující člen.
== Definice ==
| |||