Proof

برابر انگلیک (انگلیسی): Proof

نمونه‌ها/پیاده‌سازی‌ها Contraposition proof