Na lógica proposicional, uma regra de inferência apresenta a seguinte estrutura:
Responda: 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.