باروخ اسپینوزا (1632 – 1677) برابر انگلیک (انگلیسی): Baruch Spinoza دیسهای ⊢ 𝜙∨𝜓 ⇒ ⊢ 𝜙 𝑜𝑟 ⊢ 𝜓⊢ 𝜙∨𝜓 ⇒ ⊢ 𝜙 or ⊢ 𝜓