Ferramentas do usuário
dica:crittarski
Pelo resultado anterior, basta verificarmos (usando indução) para as fórmulas com quantificadores.
dica/crittarski.txt · Última modificação: 2020/11/06 16:05 (edição externa)
Ferramentas da página
Exceto onde for informado ao contrário, o conteúdo neste wiki está sob a seguinte licença: CC Attribution-Share Alike 4.0 International
