Konsekvent: Porovnání verzí
Smazaný obsah Přidaný obsah
Bez shrnutí editace |
+kat. + pahýl + související články |
||
Řádek 1:
'''Konsekvent''' je sémantický termín výrokové logiky 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é.
{{pahýl - matematika}}
==Související články==
{{Portál matematika}}
* [[Matematika]]
* [[Logika]]
* [[Teorie množin]]
[[Kategorie:matematická logika]]
| |||