Nechť P,Q a R jsou formule predikátového počtu. Pak pro ně platí, že

existuje nejvýše jeden nejobecnější unifikátor

existuje právě jeden nejobecnější unifikátor

existuje alespoň jeden nejobecnější unifikátor

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky:
48