Na lógica proposicional, uma regra de inferência apresenta a seguinte estrutura:

Caso ocorra P, necessariamente ocorrerá Q.

Como Q não ocorreu, conclui-se que P não ocorreu.

Assinale a afirmativa que aplica corretamente a regra citada.