Bir mantık sorusunda (p ⇒ q) ∧ p önermesi veriliyor. Bu önermenin doğru olması için aşağıdakilerden hangisi kesinlikle doğru olmalıdır?