Diferencia entre revisiones de «Forma normal prenexa»

m
Correcciones ortográficas con Replacer (herramienta en línea de revisión de errores)
m (Correcciones ortográficas con Replacer (herramienta en línea de revisión de errores))
m (Correcciones ortográficas con Replacer (herramienta en línea de revisión de errores))
=== Ejemplo ===
 
Supóngase que <math>\phi</math>, <math>\psi</math>, y <math>\rho</math> son fórmulas sin cuantificar y no comparten variable libre alguna. ConsidereseConsidérese la fórmula
:<math> (\phi \lor \exists x \psi) \rightarrow \forall z \rho</math>.
Aplicando recursivamente las reglas empezando por las subfórmulas internas, la siguiente secuencia de fórmulas lógicamente equivalentes pueden obtenerse:
32 673

ediciones