logical proof

邏輯證明

英文釋義

1. proof of a logical theorem