DERIVE: A⊃(E∧~D) 1.~[A∧(BVC)] 2. D⊃B 3. EVC Can someone give me a tip to help get me started? All the rules of SD+ may be used. Thanks!
Follow Math Help Forum on Facebook and Google+
View Tag Cloud