propositional logic formulas.
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 […]
