Konsekvent: Porovnání verzí
Smazaný obsah Přidaný obsah
Bez shrnutí editace |
Bez shrnutí editace |
||
Řádek 1:
''Konsekvent je sémantický termín z oboru [[matematická logika]].''
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é.
|