COMPLETE INFERENCE SYSTEM


Meaning of COMPLETE INFERENCE SYSTEM in English

< logic > An inference system A is complete with respect to another system B if A can reach every conclusion which is true in B. The dual to completeness is soundness .

(1998-07-05)

FOLDOC computer English dictionary.      Английский словарь по компьютерам FOLDOC.