2. Construct a formal proof in proving the following argument. Follow the steps presented in this section. Use the given variables for its simple components. If I work, thenlearn money, but if I am...

Indirect

Extracted text: 2. Construct a formal proof in proving the following argument. Follow the steps presented in this section. Use the given variables for its simple components. If I work, thenlearn money, but if I am idle, then I enjoy myself. Either I work or I am idle. However, if I work, then I do not enjoy myself, while, I am idle then I do not earn money. Therefore, I enjoy myself if and only if I do not earn money. (w, m, i, e)