Em uma usina de energia, o sistema de segurança de um reator segue uma regra lógica estrita para evitar sobrecarga. A diretriz técnica estabelecida pelos engenheiros é:
Se a temperatura do núcleo ultrapassar 800°C, então o sistema de resfriamento emergencial é ativado.

Considerando que essa diretriz é uma proposição verdadeira, do ponto de vista da lógica sentencial, assinale a opção que indica uma afirmação logicamente equivalente a ela.