GAB (B) é só ler na ordem para que a lógica se forme na sua cabeça! VAMOOOOOOOS!

não entendi

Não entendi foi nada

Gabarito letra "b".

A questão exigia que soubéssemos do equivalente de p➝‬q que é ~q➝‬~p.

"Se o sistema é seguro, então a auditoria é aprovada." (p➝‬q)

Usando a equivalência:

"Se a auditoria não é aprovada, então o sistema não é seguro" (~q➝‬~p).

Dito isso, poderíamos considerar:

Se o sistema é seguro, então a auditoria é aprovada = V (dado que F e F dá valor verdadeiro).

A auditoria não é aprovada = V (dado que ~q➝‬~p é verdadeiro).

Pode-se afirmar, com certeza lógica, que o sistema é seguro = F (dado que ~q➝‬~p é verdadeiro, logo o sistema não é seguro).

É correto concluir, apenas com as informações dadas, que o sistema não é seguro = V (dado que ~q➝‬~p é verdadeiro, logo o sistema não é seguro).