Answers must be correct. Or else it will be flagged. All of these sub parts need to be answered with step by step process showing all work and reasoning.

Answers must be correct. Or else it will be flagged. All of these sub parts need to be answered with step by step process showing all work and reasoning.

1 Formalization (4pts) The propositions H, W, and S are defined below. 11: John is healthy. W: John is wealthy. S : John is wise. Formalize the following English statements using the connectives A, V, ~ and . 1. John is healthy and wealthy but not wise 2. John is neither healthy, wealthy, nor wise. 3. John can only be wealthy if he is healthy and wise. 4. John wil be wealthy if he is wise