Diferencia entre revisiones de «Forma normal prenexa»

No hay cambio en el tamaño ,  hace 1 año
m
m (Correcciones ortográficas con Replacer (herramienta en línea de revisión de errores))
 
=== Lógica intuicionista ===
 
Las reglas para convertir una fórmula a una en forma prenexa hace engorroso el manejo de la lógica clásica. En [[lógica intuicionista]] no sucede que toda fórmula es lógicamente equivalente a una fórmula prenexa. La negación de una conectiva es un obstáculo, pero no es el único. La implicciónimplicación también recibe un tratamiento en lógica intuicionista que en la lógica clásica; en lógica intuicionista, no es definible usando la negación y la disyunción.
 
 
== Uso de la forma prenexa ==
27

ediciones