1. Let W(x) be the predicate "x used a Windows machine", A(x) be the predicate "x uses an Apple machine", and S(x) be the predicate "x's data is secure on their computer". Translate the following expressions into English, simplifying them as much as possible. The universe of discourse is all animals. (3.0 marks) b. ax (s)(AC)V-W) 2. Determine whether the following argument is valid or invalid. If it is valid, then you must state the rules of inference used to prove validity, but if it is not then you must provide an example to outline precisely why it is invalid. (n.b., you do not need quantified predicate logic expressions to complete this problem.) (4 marks) "IfI am a student at Carleton then I buy coffee from Rooster's and I am participating in this year's CUSA vote. If I have enough money on my campus card then I buy coffee from Rooster's. I have money on my campus card and I am going to vote in the CUSA elections this year. Therefore, I am a student at Carleton