Need help with a philosophy proof!

1. ∀y ((Large(y) ∨ Cube(y)) → ¬Cube(y))
2. ∀x (Dodec(x) ↔ Large(x))
Goals ∀x ((Large(x) ∨ Cube(x)) → Dodec(x))

Is this the question you were looking for? If so, place your order here to get started!