Ferramentas do usuário
dica:b
Lembre que $[\![ a=a \wedge \varphi(a) ]\!] = [\![ \varphi(a) ]\!]$ e use o item anterior.
dica/b.txt · Última modificação: 2021/04/30 12:14 por hugo
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
