Ferramentas do usuário
solucao:start
A seguinte fórmula $$ \forall x (x < 0 \rightarrow x<y) \wedge \exists z (0<z \wedge z<x ) $$
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.
solucao/start.txt · Última modificação: 2023/05/08 17:36 (edição externa)
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
