La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican conceptos intuitivos de objetos matemáticos como conjuntos, números, demostraciones y computación.
Lógica proposicional
En lógica y matemática, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En la lógica proposicional, las fórmulas representan proposiciones y las constantes lógicas son operaciones sobre las fórmulas que producen otras fórmulas de mayor complejidad.Como otros sistemas lógicos, la lógica proposicional intenta clarificar nuestra comprensión de la noción de consecuencia lógica para el rango de argumentos que analiza.
No hay comentarios:
Publicar un comentario