Academic Integrity: tutoring, explanations, and feedback — we don’t complete graded work or submit on a student’s behalf.

Part A: Svmbolization Symbolize the English sentences below, using the abbreviat

ID: 3745830 • Letter: P

Question

Part A: Svmbolization Symbolize the English sentences below, using the abbreviations provided. Please do this on a separate sheet, and not squeezed in between these questions, so that the grader has enough room to make corrections f necessary You may use the following alternative symbols instead of those in the textbook if you are consistent in your usage : for ~; or & for . ; for ; and for R: It is raining F: Fido will go to the dog park L: Lassie will go to the dog park S: Spot will go to the dog park B: Lassie barks O: Lassie's owner is nearby W: A child has fallen down a well H: Lassie is hungry Lassie barks if she goes to the dog park and neither Fido nor Spot is there. Provided it is not raining, exactly one of Lassie, Fido, and Spot will go to the dog park. [3 points] If Fido goes to the dog park just in case Lassie does and Lassie goes to the dog park if Spot does, then Spot will go to the dog park only if Fido does At least two of Fido, Lassie, and Spot will go to the dog park. Hint. You only need . and v (for the simplest answer; there are longer ones that use other symbols) Think about how many different ways that at least two of these three dogs could go to the dog park. Lassie barks if a child has fallen down a well and her owner is nearby; if no child has fallen down a well, she barks just in case she is hungry 2 points] [3 points] 3 points] [3 points]

Explanation / Answer

B if (L and (not F) and (not S)) L.(~F).(~S) B if (not R) then ((L and (not F) and (not S)) or (F and (not L) and (not S)) or (S and (not L) and (not F))) ~R (((L).(~F).(~S)) V ((~L).(~F).(S)) V ((~L).(F).(~S))) if ((if L then F) and (if S then L)) then (if S then F) (L F).(S L) (S F) (L and S)or(F and S)or(F and L) (S.F) V (F.L) V (L.S) if (W and O) then B ; if (not W and B) then H W.O B ; (~W).B H