Lògica

La lógica es una ciencia formal que estudia las estructuras o formas del pensamiento humano, como proposiciones, conceptos y razonamientos, para establecer leyes y principios válidos para obtener criterios de verdad. La lógica se utiliza para establecer procesos de pensamiento correcto y se basa en cuatro principios fundamentales: el principio de identidad, el principio de no contradicción, el principio de tercero excluido y el principio de razón suficiente. Como adjetivo, "lógico" o "lógica" significa que algo sigue las reglas de la lógica y de la razón, y se utiliza también para referirse al llamado "sentido común". La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas, entre otros. La lógica es extensamente aplicada en los campos de inteligencia artificial y de ciencias de computación, y estos campos proporcionan una rica fuente de problemas en la lógica formal e informal. Existen distintos tipos de lógica, como la lógica borrosa, la lógica matemática, la lógica binaria, la lógica modal y la lógica proposicional, entre otras.