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...

Step 1: First to represent the simple components in the argument using the lower case letters given, i.e., Step 2: Translate the verbal argument into its symbolic form. Step 3: Create the argument form either horizontally or vertically. Step 4: Construct the formal proof.


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)