3. Points 2 Are these system specifications consistent? Consistent means there is at least one set of truth values for the propositions that make all the specifications true. Or in other words, not a contradiction "Whenever the system software is being upgraded, users cannot access the file system. If users can access the file system, then they can save new files. If users cannot save new files, then the system software is not being upgraded." 4. Points-3 Without using truth tables Show that p q and (p-, q^^ (q equivalent p) are logically 5. Points-3 Determine if the following argument is correct or not and show in detail why: "If I play baseball, then I am sore. I use the swimming pool if I am sore. I did not use the swimming pool. Therefore, I did play baseball