GSU CSC 2510 Lab 4 Answers, Assignments of Computer Science

Download GSU CSC 2510 Lab 4 Answers and more Assignments Computer Science in PDF only on Docsity! CSC 2510 Lab Assignment 4 September 14th, 2022 Please submit your lab assignment 4 on iCollege by 11:59 pm September 16th, 2022. SAILING RACE EXAMPLE Construct a logical argument using rules of inference to show that the following hypotheses imply the conclusion “It rained”: "If it does not rain or if it is not foggy, then the sailing race will be held, and the lifesaving demonstration will go on. If the sailing race is held, then the trophy will be awarded. The trophy was not awarded”. DEFINE PROPOSITIONS: R = “It rains” F = “It is foggy” S = “The sailing race will be held” L = “The life-saving demonstration will go on” T = “The trophy will be awarded” Logical argument is: (R’∧F’)(S L), (∧ ST) V T’R Proof: T’ Hyp ST Hyp S’ MT (S L)∧ De-Morgan (R’ ∧ F’) De-Morgan (R’ ∧ F’) (S L)∧ Hyp R Simp