Qual a validade do esquema lógico "P→Q; Q; portanto P"?

Inválido.

Motivo:
É a falácia chamada afirmação do consequente. Existem atribuições de verdade que tornam as premissas verdadeiras e a conclusão falsa. Por exemplo, se \(P=F\) e \(Q=T\), então \(P\to Q = T\) e \(Q=T\), mas \(P=F\).

Exemplo:
Suponha: "Se houver curto‑circuito, acende a luz de aviso." (\(P\to Q\))
"A luz de aviso está acesa." (\(Q\))
Concluir: "Houve curto‑circuito." (\(P\)) — inválido, porque a luz pode estar acesa por outra causa.