D. - 4. The following rule is called: a → → B = (¬B¬α) A. Implication elimination B. Contraposition C. Modus Ponens 5. I

[answerhappygod]

1 (92.57 KiB) Viewed 31 times

D. - 4. The following rule is called: a → → B = (¬B¬α) A. Implication elimination B. Contraposition C. Modus Ponens 5. In Propositional Logic, given P and P→Q, we can infer: A. Q B. Q C. PAQ D. ¬PAQ 6. Consider the following logical inferences: 1 I1. If it is Sunday then school will not open. The school was open. Inference It was not Sunday. 2 3 12. If it is Sunday then school will not open. It was not Sunday. Inference The school was open. 4 Which of the following is correct? A. Both I1 and 12 are correct inferences. B. Il is correct, but I2 is not a correct inference. C. Il is not correct, but I2 is a correct inference. D. Both Il and 12 are not correct inferences. D. AND elimination