This is what I need to prove formally:
1.∃x Cube(x) ∧ Small(d) . . . . Goal :∃x (Cube(x) ∧ Small(d))
I have already tried different ways, but I still can't prove the goal.
1. ∃x Cube(x) ∧ Small(d) 2. ∃x Cube(x) ∧Eilm1 3.Small(d) ∧Eilm1 4.∃x Small(x) ∃intro
Could you provide some suggestions for how I might prove that?