'logical proof' definitions:

Definition of 'logical proof'

From: WordNet
noun
Proof of a logical theorem