Considere a seguinte proposição:

“Se o relatório é aprovado e o orçamento está disponível, então a verba é liberada”.

Assinale a alternativa que apresenta uma proposição logicamente equivalente a essa.

Em uma secretaria municipal, sobre a tramitação dos processos X, Y e Z, constatou-se que:

◼︎ se o processo X é arquivado, então o processo Y também é arquivado;
◼︎ o processo Z é arquivado se, e somente se, o processo X não é arquivado.

Sabendo‑se que o processo Y não foi arquivado, é correto concluir dedutivamente que: