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


تاربرگ‌های پیموده‌شده در این نشست: Modal System T ⟩ گویایی E ⟩ IL.K.02 ⟩ گویایی‌هایِ پیوند وندی ⟩ IL.H.04