Question

NOTE This is a multi-part question Find a counterexample, to the given universally quantified statements, where the domain consists of all real numbers Once an aIswer is subTitted, you will be unable to return to this part 37 vx (Check all that apply) 01:0703 Check All That Apply xO x1 x-1 system. ir users can access the fie system, tnen tney can save new mes. if Users cannot save new TIles, then ine syster software is not being upgraded." The goal of this exercise is to determine whether the given specifications are consistent. To do this, we express the gh specifications in terms of the statements: u The software system is being upgraded. a Users can access the file system. 38 S Users can save new files. Part 1 of 5 What is the symbolic representation of the statement, "Whenever the system software is being upgraded, users cannot acces 01:0020 (You must provide an answer before moving to the next part.) Multiple Choice u a

Answer 1

37 There fna urhem z0 , when Kz Therefore For Tueretwe z There Rre n4 r, Luem u= -V For -V2, 2, Fer o ard x-1 are folse, we see ttoat counterexamples "To prove the statement softune system being upgraded, U sers can acgess the file system. a Users cannot acces Hhe fle system The There fira Thun th sy m boue representatron f whenevea e system softusare Veing upgAded, u sers comnot accass to frle systen -