🎯 ¿Cansado de los anuncios?
Elimínalos ahora 🚀

Breve reseña histórica de la lógica

: El capítulo comienza con una breve historia de la lógica, mencionando que, a diferencia de otras disciplinas, la lógica tiene una fecha de nacimiento bastante cierta, con el consenso de que esta surge en Grecia en el siglo IV a.C., de la mano de Aristóteles . Se resalta su aporte en el surgimiento de la lógica, en particular su teoría del silogismo.

Los orígenes de la lógica

: Se explica que la lógica que se ocupa de estudiar los argumentos tiene un propósito: su evaluación. Aristóteles desarrolló una reflexión sistemática sobre la argumentación, cuya expresión más importante es la teoría del silogismo. Un silogismo se define como un argumento compuesto por dos premisas y una conclusión, donde todos los enunciados son universales o existenciales afirmativos o negativos.

Enunciados singulares, universales, existenciales y probabilísticos

: Se mencionan los enunciados universales y existenciales, caracterizados por el uso de expresiones como "Todos...", "Algunos...", "Ningún...", y "Algunos no...".

La lógica proposicional clásica

: El capítulo introduce la lógica proposicional como una herramienta más moderna para el análisis de enunciados y sus combinaciones. Se explica que, a diferencia de la lógica aristotélica que se centraba en la estructura interna de los enunciados, la lógica proposicional considera los enunciados como unidades y analiza las relaciones entre ellos a través de conectivas lógicas

Presentación del lenguaje formal

: Se presenta el lenguaje formal de la lógica proposicional, que utiliza símbolos para representar proposiciones (como p, q, r) y conectivas lógicas (como la conjunción '$\land$', la disyunción '$\lor$', la negación '$\neg$', el condicional '$\rightarrow$' y el bicondicional '$\leftrightarrow$'). Se explica cómo traducir enunciados del lenguaje natural a este lenguaje formal.

Las tablas de verdad

: Se introduce el método de las tablas de verdad como un procedimiento para determinar el valor de verdad de un enunciado complejo en función de los valores de verdad de los enunciados simples que lo componen y de las conectivas lógicas involucradas.

Tautologías, contradicciones y contingencias

: Se definen y explican estos tres tipos de enunciados complejos según los resultados posibles en sus tablas de verdad.

Bicondicionales

: Se menciona el uso de expresiones bicondicionales en el lenguaje español, donde se utilizan expresiones tales como si y solo si , entonces , etc., para indicar una condición necesaria y suficiente.

Reglas de inferencia y deducciones

: El capítulo presenta algunas reglas de inferencia fundamentales en la lógica proposicional, como el Modus Ponens y el Modus Tollens , que permiten derivar válidamente conclusiones a partir de premisas dadas. También se introduce la noción de deducción formal mediante la aplicación de estas reglas.

El método axiomático

: Finalmente, se menciona brevemente el método axiomático dentro de la lógica formal.

En resumen, el Capítulo 5 se centra en la introducción a la lógica formal, abarcando desde sus orígenes históricos en la obra de Aristóteles hasta la presentación de la lógica proposicional con su lenguaje formal, las tablas de verdad y las reglas de inferencia.

👉 Descargar el audiolibro GRATIS en Amazon
Reportar problema / Sugerencias