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


تاربرگ‌های پیموده‌شده در این نشست: Tractatus Logico-Philosophicus ⟩ Leopold Löwenheim ⟩ Foundational theories ⟩ Kazimierz Kuratowski ⟩ Löwenheim-Skolem Theorem ⟩ Willard Van Orman Quine