IL.H.07

برابر انگلیک (انگلیسی): IL.H.07
دیسه‌ای
𝜙 → (𝜙 ∨ 𝜓)
𝜙 → (𝜙 ∨ 𝜓)


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