In propositional logic, given π and πβπ, we can infer ________ .
2015
In propositional logic, givenΒ πΒ andΒ πβπ, we can infer ________ .
- A.
βΌπ
- B.
π
- C.
πβ§π
- D.
βΌπβ§π
Attempted by 435 students.
Show answer & explanation
Correct answer: B
Answer: Q
Explanation: By the inference rule modus ponens (implication elimination), if P is true and P implies Q, then Q must be true.
Given: P
Given: P β Q
Therefore (by modus ponens): Q
Note: After deriving Q, you could also form P β§ Q by conjunction introduction, but the direct and primary inference from the two premises is Q.
A video solution is available for this question β log in and enroll to watch it.