Qual é a falácia do padrão lógico \(P \rightarrow Q;\; Q;\; \therefore P\)?

Afirmação do consequente — inválido.

Explicação:
O padrão \(P \rightarrow Q;\; Q;\; \therefore P\) é inválido porque a verdade de Q não implica que P seja verdadeira; Q pode ocorrer por outras causas. Em símbolos: \(P\rightarrow Q,\; Q\; \nvdash\; P\).

exemplo:
Se há incêndio, o alarme toca. O alarme tocou. Logo, houve incêndio. — inválido, pois o alarme pode ter tocado por um teste ou mau funcionamento.