Definitions of logical proof:

  • noun:   proof of a logical theorem