WordNet: logical proof

Sanatista
proof of a logical theorem



logical proof