Resultado de búsqueda
La lógica es una disciplina que se encarga de estudiar la estructura del razonamiento humano y sus leyes. Es una ciencia formal, lo que significa que se basa en reglas y principios establecidos y no en la observación empírica. La lógica se divide en dos ramas principales: la lógica proposicional y la lógica de predicados.
Ejemplo práctico de lógica formal. Para ilustrar la aplicación práctica de la lógica formal, vamos a presentar un ejemplo sencillo pero efectivo. Imagina que estás en una tienda y ves un cartel que dice lo siguiente: "Todos los productos están rebajados. Este producto es un producto.
Origen de la lógica. El origen de la lógica se remonta a los pensadores filosóficos de las grandes civilizaciones clásicas y antiguas como la china o la griega, que se ocuparon de comprobar la validez formal del pensamiento, reconociendo los procesos de razonamiento que conducían hacia la verdad.. A pesar de que en su origen, se asoció más a la filosofía y al pensamiento, a partir del ...
Tema 4: La Lógica Formal. 1. Las proposiciones y sus tipos. Una proposición es una oración enunciativa, es decir, una oración que afirma o niega algo y que puede ser verdadera o falsa. Las proposiciones pueden ser simples o complejas. Una proposición simple es aquella que no puede descomponerse en partes que sean a su vez proposiciones.
Forma lógica. La estructura de las expresiones lógicas, ya sean enunciados, fórmulas o razonamientos, prescindiendo de su contenido concreto. La estructura o la forma lógica son esquemas o disposiciones de símbolos lógicos que pueden ser compartidos por diversas fórmulas o razonamientos; dicha estructura la definen, en los enunciados ...
21 de ene. de 2021 · La lógica formal, también conocida como lógica clásica o lógica aristotélica, es el estudio de proposiciones, argumentos, declaraciones u oraciones desde el punto de vista estructural. Se trata de un método para estructurar el pensamiento y determinar las formas correctas o incorrectas de un planteamiento específico.
2 de oct. de 2018 · También conocida como lógica tradicional o lógica filosófica, se trata del estudio de las inferencias con contenido puramente formal y explícito. Se trata de analizar los enunciados formales (lógicos o matemáticos), cuyo significado no es intrínseco sino que sus símbolos tienen sentido por la aplicación útil que se les da.
