Formule F logicky vyplývá z množiny S, pokud

každý model množiny S splňuje formuli F.

existuje alespoň jeden model množiny S, který splňuje formuli F.

každý model formule F je i modelem množiny S.

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky:
170