La lógica examina la estructura de los argumentos válidos. Se pregunta: si las premisas son verdaderas, ¿se deduce necesariamente la conclusión? La lógica formal utiliza símbolos para representar enunciados y reglas para derivar conclusiones. Los silogismos de Aristóteles fueron un sistema primitivo; la lógica moderna, desarrollada por Frege, Russell y otros, es la base de las matemáticas y la informática.

La lógica proposicional se ocupa de enunciados verdaderos o falsos y de conectores como Y, O y NO. La lógica predicativa añade cuantificadores: "para todo" y "existe". Estos sistemas formalizan el razonamiento y revelan falacias.

La lógica es el fundamento de la demostración matemática. Todo teorema se basa en la deducción lógica a partir de axiomas. En informática, las puertas lógicas implementan operaciones booleanas y los lenguajes de programación utilizan condiciones lógicas. Esta disciplina también se relaciona con la filosofía, la lingüística y la inteligencia artificial. Reflexionar con claridad sobre el razonamiento resulta útil mucho más allá de las matemáticas.

• Estudio del razonamiento válido
• Utiliza símbolos y reglas formales.
• Lógica proposicional y de predicados
• Fundamentos de la prueba y la computación.