'logical proof' definitions:

Definition of 'logical proof'

(from WordNet)
noun
Proof of a logical theorem