
5 Proofs with predicates At the end of lecture 5 (see the recordings) we saw how to use predicate logic to prove that syllogism types are valid. Prove that the following syllogism is valid by following the steps below. All mothers are female Socrates is not female Socrates is not a mother a) Translate the syllogism into set-theoretic notation b) Translate your set-theoretic notation into the notation of predicate logio c) Give a
PayPal Gateway not configured
PayPal Gateway not configured