Ferramentas do usuário
dica:filtro3
Basta mostrar que $[\![ \forall p \in \dot{G} \,\, \forall q \in \check{\mathcal{A}} \,\, p\leq q ]\!] \leq [\![ q \in \dot{G} ]\!]$.
Comece mostrando que fixados $a,b \in \mathcal{A}$ temos $[\![ \check{a} \in \dot{G} \land \check{b} \in \check{\mathcal{A}} \land \check{a} \leq \check{b} ]\!] \leq [\![ \check{b} \in \dot{G} ]\!]$.
dica/filtro3.txt · Última modificação: 2021/04/28 11:30 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
