New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Orden de los cuantificadores existenciales y universales. #54

Open

JuanGuzman17 opened this issue Sep 26, 2024 · 1 comment

Assignees

Labels

general solucionado

JuanGuzman17 commented Sep 26, 2024

Se puede considerar que esas formulas son equivalentes, o el hecho de que un cuantificados este "afuera" de la formula cambia su significado?

JuanGuzman17 added the general label

JuanGuzman17 assigned c4ebt, jtcaraball and Maratripa

JuanGuzman17 closed this as completed

JuanGuzman17 reopened this

Collaborator

tdsilva1 commented Sep 27, 2024

Son equivalentes. En general siempre que y no aparezca como variable libre en S, se pueden considerar fórmulas de ese tipo como equivalentes.

c4ebt added the solucionado label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment