Explicação:

Para chegar à conclusão lógica na demonstração fornecida, a regra de inferência utilizada é o Modus Tollens.

O Modus Tollens é uma forma válida de inferência que segue a seguinte estrutura:

1. Se P, então Q.

2. Não Q.

3. Portanto, não P.

Na demonstração apresentada:

1. P → Q (premissa)

2. Q → R (premissa)

3. ~R (premissa)

4. P → R (1, 2 e Silogismo Hipotético)

5. ~P (3, 4 e Modus Tollens)

A partir das premissas 3 e 4, utilizando o Modus Tollens, chegamos à conclusão de ~P.