Synonyms/Hypernyms (Ordered by Estimated Frequency) of noun logical_proof

1 sense of logical proof

Sense 1
logical proof -- (proof of a logical theorem)
       => proof -- (a formal series of statements showing that if one thing is true something else necessarily follows from it)