Diferencia entre revisiones de «Lógica proposicional»

Contenido eliminado Contenido añadido
Lsanabria (discusión | contribs.)
Agregando categoría
Lsanabria (discusión | contribs.)
m Marcando como finalizado.
Línea 8:
|área_página=Área de lógica matemática
|nivel=Universitario
|finalizado=sí
}}
La lógica proposicional o lógica de orden cero es la rama de la lógica matemática que estudia proposiciones, afirmaciones u oraciones, los métodos de combinarlas mediante conectores lógicos y las relaciones y propiedades que se derivan de esos métodos. Es una herramienta útil para razonar, pero no puede resolver problemas que requieren analizar la estructura interna de las proposiciones o de las relaciones entre ellas. Este tipo de lógica considera las proposiciones como elementos atómicos y no tiene cuantificadores o variables de entidad.