Konsekvent: Porovnání verzí
Smazaný obsah Přidaný obsah
Bez shrnutí editace |
Bez shrnutí editace |
||
Řádek 1:
''Konsekvent je sémantický termín z [[matematická logika]ml]matematické logiky.''
Formule K je konsekventem (sémantickým důsledkem) formule S, právě tehdy, když je pravdivá ve všech ohodnoceních, kdy je pravdivá formule S. Neboli když je S sjednoceno s negací K nesplnitelné.
|