Qual é a contrapositiva de um condicional e como se nega uma afirmação universal?

Contrapositiva: \( \lnot q \to \lnot p \).
Negação de uma universal: pelo menos um — existe ao menos um contraexemplo.

Explicação:
Para \(p\to q\), a contrapositiva é logicamente equivalente e permite inferir que, se \(q\) é falso, então \(p\) é falso: \( \lnot q \to \lnot p\).
A negação de "todas as X são Y" é "existe pelo menos uma X que não é Y".

Exemplo:
Considere: "Se todos os motoristas têm habilitação, então a frota está regular."
Seja \(p\): "todos os motoristas têm habilitação" e \(q\): "a frota está regular".
A contrapositiva é \( \lnot q \to \lnot p\): "Se a frota não está regular, então existe pelo menos um motorista sem habilitação."