5.132

Se p segue-se de q, posso então inferir de q, p; deduzir p de q.