Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary (also found in English - Vietnamese, English - English (Wordnet), )
Jump to user comments
1. logic A finite sequence of well-formed formulas, F1,
F2, ... Fn, where each Fi either is an axiom, or follows by
some rule of inference from some of the previous F's, and Fn
is the statement being proved.