Ferramentas do usuário
solucao:start
Essa é uma revisão anterior do documento!
A seguinte fórmula $$ \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.
/var/www/html/pessoas/aurichi/exerc/data/pages/solucao/start.txt · Última modificação: 2023/05/08 14: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
