• v ~ ≡ Natural Deduction (1) 1. X (Y v Z) 2. W X 3. W 4. ~Y...