Em p → q, qual é a relação de condição entre p e q?

q é condição necessária para p, p é condição suficiente para q.

Em p → q, sempre que p ocorre, q ocorre, logo q é necessário para que p ocorra, sem q não pode haver p, e p garante q, por isso p é suficiente para q. A contrapositiva confirma que se q não ocorre, então p também não ocorre, isto é, ¬q → ¬p.

Exemplo: Se uma figura é quadrado, então é retângulo.
Ser retângulo é condição necessária para ser quadrado, ser quadrado é suficiente para ser retângulo, e se algo não é retângulo, então não pode ser quadrado.