Considere as proposições representadas simbolicamente por: P= Ana comprou um tênis. Q= Ana gosta de correr. A alternativa que representa em linguagem corrente a fórmula (→~) é: