FARZANEGI
درونشد
هموندی
Encyclopedia
Philosophy
Logic
Mathematics
Computing
Ontology
Persian Translator
Logic Lab
Hall of Fame
Library
Dictionary
About
disjunction property
دیسهای
⊢ 𝜙∨𝜓 ⇒ ⊢ 𝜙 𝑜𝑟 ⊢ 𝜓
⊢ 𝜙∨𝜓 ⇒ ⊢ 𝜙 or ⊢ 𝜓