Considerando que todos os bons programadores sabem resolver problemas e que Pedro sabe resolver problemas, pode-se concluir que Pedro: