Skolemizace zachovává

splnitelnost formulí

ekvivalenci formulí

ani ekvivalenci ani splnitelnost

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky:
50