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

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

تاربرگ‌های پیموده‌شده در این نشست: دستورهای ساختاری ⟩ IL.H.10 ⟩ IL.H.06 ⟩ گویایی گزاره‌ای آموزگاهی ⟩ IL.H.02 ⟩ Symbolic Logic