Concursos públicos

Considere o seguinte argumento:

1- Se existe fogo, então existe oxigênio.

2- Não há oxigênio.

3- Então não há fogo.

A regra de inferência que justifica a validade do argumento acima é