IL.H.06

برابر انگلیک (انگلیسی): IL.H.06
دیسه‌ای
[𝜙 ∧ (𝜙 → 𝜓)] → 𝜓
[𝜙 ∧ (𝜙 → 𝜓)] → 𝜓


تاربرگ‌های پیموده‌شده در این نشست: دستورهای ساختاری IL.H.10