Dadas \(p \to q\), \(q \to r\) e \(\neg r\), qual conclusão lógica válida se obtém?

¬p

Explicação:
De \(q \to r\) e de \(\neg r\) aplica-se o modus tollens, obtendo-se \(\neg q\),
em seguida aplica-se novamente o modus tollens à implicação \(p \to q\) com \(\neg q\), resultando em \(\neg p\).

exemplo:
Considere: \(p\): usar software desatualizado, \(q\): software vulnerável, \(r\): ocorreu violação de dados.
Premissas: \(p \to q\), \(q \to r\), \(\neg r\) (não houve violação de dados).
De \(q \to r\) e \(\neg r\) segue \(\neg q\) (não é vulnerável).
De \(p \to q\) e \(\neg q\) segue \(\neg p\) (não se está usando software desatualizado).