A negação lógica para 'todo' é no 'mínimo um não '.
Sendo assim é provável que