a existência de uma reclamação formal de um cliente é uma condição necessária para que o departamento de qualidade seja acionado.

a existência de uma reclamação formal de um cliente é uma condição suficiente para que o departamento de qualidade seja acionado.

a abertura de um processo interno é uma condição necessária e suficiente para que o departamento de qualidade seja acionado.

se um processo interno foi aberto, então um cliente fez uma reclamação formal.

não existindo qualquer reclamação formal feita por um cliente, nenhum processo interno poderá ser aberto.