logical proof

Noun
  1. Proof of a logical theorem (synset 106660705)

Other Searches