disjunction property
دیسه‌ای
⊢ 𝜙∨𝜓 ⇒ ⊢ 𝜙 𝑜𝑟 ⊢ 𝜓
⊢ 𝜙∨𝜓 ⇒ ⊢ 𝜙 or ⊢ 𝜓


تاربرگ‌های پیموده‌شده در این نشست: Correspondence theory of truth ⟩ Willard Van Orman Quine ⟩ reference ⟩ Meinongianism ⟩ Maxwell John Cresswell ⟩ Absorption law