******** Write your response by hand in the notebook cells, either using a comment (#) ********

- HW3-3 Inference Rule Reach the indicated conclusion by utilizing either model checking, formal proof in logic, or laws of inference. Write your response by hand in the notebook cells, either using a comment (\#) or a markdown cell, for each question. You can also check your answer with Python code, but try to answer without it to enhance your understanding. - HW3-3-2 Given: - PQ - QR - ER - P Prove: E [ ] - HW3-3-2 Given: - AB - CB - C V N - A Prove: N [ ]