IL.K.12

برابر انگلیک (انگلیسی): IL.K.12
دیسه‌ای
𝜙(𝑡) → ∃𝑥𝜙(𝑥)
𝜙(t) → ∃x𝜙(x)