risoluzione-refutazione, sistema di

Enciclopedia della Matematica (2013)

risoluzione-refutazione, sistema di


risoluzione-refutazione, sistema di → prolog.

Tag
Vocabolario
refutazióne
refutazione refutazióne s. f. [dal lat. refutatio -onis, der. di refutare (v. le voci prec.)]. – Latinismo, raro, invece di confutazione.
risoluzióne
risoluzione risoluzióne (ant. resoluzióne) s. f. [dal lat. tardo resolutio -onis «scioglimento, annullamento», der. di resolvĕre «risolvere», part. pass. resolutus]. – 1. L’azione di risolvere, il fatto di venire risolto, nel sign. di sciogliere...