Ferramentas do usuário
dica:2a
$\displaystyle [\![ \exists y \in \dot{x} \varphi(y) ]\!] = \sup_{t}[\![ t \in \dot{x} \wedge \varphi(t) ]\!]$
dica/2a.txt · Última modificação: 2021/04/30 12:15 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
