handwritten solution please

5. Formalize the following arguments in L2 or L= (whichever is most appropriate) providing a suitable dictionary. Make your formalization as detailed as possible. If you find an ambiguity in the argument, explain it to justify your choice of formalization. Once formalized, say whether the argument is valid in the language chosen. If it is, provide a natural deduction proof. If it is not, provide a counterexample. (a) Some physical properties are not mental. One can therefore conclude that not everything physical is mental. (b) Every philosopher that Anscombe doesn't like is an existentialist. Therefore, if Anscombe likes some philosopher, then some philosophers aren't existentialists. (c) The car is working. So every car is working