Sabe-se que todo HEL é NAT. Alguns NAT são FAN. Todos os que não são NAT são TOC...

Questão de Raciocínio Lógico da banca UPE UPENET IAUPE aplicada no concurso Universidade Federal do Pernambuco PE (2017). Confira a resolução completa abaixo:

Q339820•
Raciocínio Lógico•
Algebra das Proposições•
UPE UPENET IAUPE•
Universidade Federal do Pernambuco PE•
Analista de Sistemas

Sabe-se que todo HEL é NAT. Alguns NAT são FAN. Todos os que não são NAT são TOC.

Não existe FAN que seja TOC.

Dessa forma, é CORRETO afirmar que