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