Search Result for "logical proof":
Wordnet 3.0

NOUN (1)

1. proof of a logical theorem;


WordNet (r) 3.0 (2006):

logical proof n 1: proof of a logical theorem