Konsekvent: Porovnání verzí
Nová stránka: == '''Konsekvent''' == Konsekvent je sémantický termín z matematické logiky. Formule K je konsekventem (sémantickým důsledkem) formule S, právě tehdy, když je pravdivá ve... |
m Stránka Kosekvent přemístěna na stránku Konsekvent: překlep |
||
(Žádný rozdíl)
|