Mostrar páginaRevisões anterioresLinks reversosVoltar ao topo Essa página está em modo somente de leitura. Você pode visualizar a fonte, mas não alterá-la. Informe-se com o administrador do Wiki, caso você ache que isso está incorreto. Vamos supor que $x \in y$: *$[\![ \check{x} \in \check{y} ]\!]= \sup_{t \in \check{y}}\check{y}(t)[\![ \check{x}=t ]\!]$ *Pela suposição, temos que $x \in y$, assim $\check{x} \in dom(\check{y})$, com isso temos: *$\sup_{t \in \check{y}}\check{y}(t)[\![ \check{x}=t ]\!] \geq [\![ \check{x}=\check{x} ]\!] = 1$, pois $\check{y}(t) =1$ com $t = \check{x}$ <wrap right>$\square$</wrap> dica/respresuluni1.txt Última modificação: 2021/08/04 21:01por maugsia