1. **Problem Statement:** Given the propositional logic statements: \(p \rightarrow q\) (if p then q) and \(p\) is true, determine the truth value of \(q\). 2. **Formula Used:** The rule of Modus Ponens states that if \(p \rightarrow q\) is true and \(p\) is true, then \(q\) must also be true. 3. **Explanation:** Modus Ponens is a fundamental rule in propositional logic used for automated reasoning in AI. It allows us to infer the truth of \(q\) from the truth of \(p\) and the implication \(p \rightarrow q\). 4. **Intermediate Work:** - Given: \(p \rightarrow q\) is true. - Given: \(p\) is true. - By Modus Ponens, conclude \(q\) is true. 5. **Final Answer:** \(q\) is true based on the given premises and the rule of Modus Ponens.