Create the argument form either horizontally or vertically 9:10 PM | 0.0KB/s & 9ll all ? EStepla)Given the variables,w: work,m: moneyI: idlee: enjoyStep2b)In the proof above, the terminologies we have used arev: DisjunctionA: Conjunction→: Implication+: Double implication- : NegationIf I work, then I earn money: w → m.If I am idle, then I enjoy myself: i → e.Either I work or I am idle: w V i.If I work, then I do not enjoy myself: w → ~e.While I am idle, then I do not earn money:i → -m.I enjoy myself if and only if I do not earnmoney: e +→ ~m.VX 2. Construct a formal proof in proving the following argument. Follow the steps presented inthis 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 Iam idle. However, if I work, then I do not enjoy myself, while, I am idle then I donot earn money. Therefore, I enjoy myself if and only if I do not earn money. (w,m, i, e)

Name: Create the argument form either horizontally or vertically 9:10 PM | 0
Uploaded: 2024-03-20T06:38:44.000Z
Channel: Bartleby
Description: Create the argument form either horizontally or vertically 9:10 PM | 0.0KB/s & 9ll all ? EStepla)Given the variables,w: work,m: moneyI: idlee: enjoyStep2b)In the proof above, the terminologies we have used arev: DisjunctionA: Conjunction→: Implicatio

The variables given for our problem are as follows: w→Workm→MoneyI→Idlee→Enjoy The terminologies we…

Math

Advanced Math

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, then I earn 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)