5.132

Se p segue da q, allora posso concludere da q a p; dedurre p da q.