Question

Important. You must justify every step in every proof you do in order to get credit (justification may involve a law of logic, rule of inference, definition, or algebra/arithmetic). In questions that do not involve formal proofs, you need to explain your reasoning clearly.

Answer 1

Vp - Vb R. CP, b) =) Vpb TR CPL) Translations for every person po book b for which it is not true that P neads book b. every persone, there is a person bl 3p VRCP, b) Translation: There is a person pouen that for all books b it is true that person preado book b. Stp3bRCP, b) - JpJb 7R CP; b) => Ip Ab TTR CP; b) = Ip vb R (Pob) Translation: There is a person p such that for all books b it is true that person p peads book b.

To d3b7VpRCPb) - Vb NPR CP; b) Nb VP RCPob) Translation: Every book bis nead by eveny person pi El R (pob) denotes people pread book b. The negation of the statement is: => All peoplepread every book ► => Vp Vb R. CPb) => Typ Vb RCP, b) => 3,7 V6 RCP; b) → 3p9b7eCpab) IP Someone meads a book. => There is porson who neadsa book => There is a person po such that there is a book b which penson P neods.

the stotement iso, neod book .. lol No body does not read every Negation of book Everybody every - For every possonp, for every book by person p meads booke b. => Vp Vb R CP, 6) now, for statement 4. 77 Vpvb Rep.b) - Vp vb R. Cpab) who neads every Thl There is a book person =) 3p Vb R (pob)