Kontrola disjunktnosti roznych typov symbolov

NorbertJu / ResolutionEditor

Bachelor thesis

GNU General Public License v3.0

1 stars 0 forks source link

Kontrola disjunktnosti roznych typov symbolov #12

Closed crnkjck closed 4 years ago

crnkjck commented 4 years ago

Konstanta nie je aj funkcia ani predikat, funkcia nie je aj predikat. Staci kaskadovo zhora dolu: Funkcie kontroluju, ci sa nevyskytuju medzi konstantami; predikaty kontroluju, ci sa nevyskytuju medzi konstantami ani funkciami.

crnkjck commented 4 years ago

e3f481b