Ci-dessous se trouve une instruction qui décrit une tâche, associée à une entrée qui fournit un contexte supplémentaire. Écrivez une réponse qui complète de manière appropriée la demande.

### Instruction :
 Étant donné une déclaration logique, sortie la négation de la déclaration dans la logique propositionnelle.

### Entrée :
 P implique Q

### Réponse :

 \xacP ou \xacQ<|endoftext|>