Dúvida questão 9 do material complementar de lógica: https://www.loom.com/share/e043f564c5ee4df2abc367eb67dfdb51