I have a Predicate Logic argument I need to translate into the symbolism of predicate logic first and then I need to construct a proof in CP.
The argument is "Some wars are just. No war of aggression is just. Therefore, there are wars that are not wars of aggression. (Wx = x is a war, Jx = x is just, Ax = x is a war of aggression)."
I think I have it translated right, however, I am lost on how to construct the proof into CP.
This is how I have translated it (∃x) (Wx • Jx), (x) (Ax → ~Jx) ∴ (∃x) (Wx • ~Ax)
I need help with the CP proof. Any help would be very much appreciated!
I am also only allowed to use implicational rules like, MP, MT, HS, DS, CD, Simp, Conj, and Add. Equivalence rules such as DN, Com, As, DeM, Cont, Dist, Ex, Re, ME, MI. As well as QN, UI, EG, EI, UG.