Given a logical statement, output the negation of the statement in propositional logic.
The negation of the logical statement "P implies Q" is written as "P and not Q" or symbolically as "P ∧ ¬Q". This statement is true when P is true and Q is false.
P implies Q
Below is an instruction that describes a task, paired with an input that provides further context. Write a response that appropriately completes the request.

### Instruction:
Given a logical statement, output the negation of the statement in propositional logic.

### Input:
P implies Q

### Response:
The negation of the logical statement "P implies Q" is written as "P and not Q" or symbolically as "P ∧ ¬Q". This statement is true when P is true and Q is false.