Natural Deduction proof

برابر انگلیک (انگلیسی): Natural Deduction proof

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

تاربرگ‌های پیموده‌شده در این نشست: آزندی بر افماریک گزاره‌ای درون‌یافت‌گروی