Na lógica, se existe a regra P→Q e observa-se Q, qual tipo de raciocínio infere provisoriamente P como hipótese explicativa?

Abdução.

Explicação:
A abdução propõe provisoriamente a premissa que melhor explica uma conclusão observada, é uma inferência ampliativa e defeituosa, portanto a hipótese precisa ser verificada por evidências adicionais.

exemplo:
Regra: "se há falha na linha então o equipamento perde sinal",
Observação: o equipamento perdeu sinal,
hipótese abductiva: ocorreu uma falha na linha, essa hipótese deve ser testada com novas evidências.