Symbolize the following sentences in Question 1 into propositional logic formulas. For Question 2, Construct proofs for the following sequents. Even if you do not feel that you can get to the conclusion, try to do as many lines as you can. Lectures to reference of the symbolizations https://youtu.be/fzz9FSsFLBk Video on Proofs with &I and &O https://youtu.be/fSEgCVsnNKY Video on setting up proofs and using the arrow-out rule https://youtu.be/fqzNfkFWd1w Compose your answers in a single document. Remember to check for correct symbolizations.
#propositional #logic #formulas