1. (8 marks) Use the logical equivalences to verify [pAC(pV(pAą)p. Supply a reason for each step. 2. (7 marks) Prove that (qA(p-p is a tautology using the logical equivalences. Then, use a truth table to verify it 3. (3+3 marks) Write down the following sentences in predicate logic a) Every positive real number has a unique positive real root. b) The equation x2 -x 1-0 has no solutions over the natural numbers 4. (4 marks) Are
PayPal Gateway not configured
PayPal Gateway not configured