Diferenças

Aqui você vê as diferenças entre duas revisões dessa página.

--- solucao:start [2023/05/08 10:55]
127.0.0.1 edição externa
+++ solucao:start [2023/05/08 14:36] (atual)
@@ Linha 2: / Linha 2: @@
 $$ \forall x (x < 0 \rightarrow x<y) \wedge \exists z (0<z \wedge z<x  )   $$
-tem $y$ como variável livre, $z$ como variável ligada ao quantificador existe, portanto, não é livre e finalmente a variável $x$ tá ligada ao quantificador para todo na esquerda e é livre na direita.
+tem a variável $y$ ocorrendo livre, a variável $z$ ocorrendo ligada ao quantificador existe, portanto, não ocorre livre e finalmente a variável $x$ ocorre ligada ao quantificador para todo na esquerda e ocorre livre na direita.

Topologia e conjuntos em exercícios