Concept:The negation of an implication p⇒q is the statement that makes the implication false.Explanation:Recall the truth table for p⇒q.p⇒q is false only when p is true and q is false.In all other cases, the implication is true.Therefore, its negation must express the exact condition under which the implication fails.That condition is: p is true and q is false.In logical notation, this is written as p∧(∼q).Answer:Option C: p∧(∼q).