Upload
alejandra-madrid
View
79
Download
1
Embed Size (px)
Citation preview
Lgica, para qu?
Lgica, para qu?
Licenciado en Filosofa Mederick Andrade Moreno
Objetivos
General: Introducir al a la materia de Lgica proposicional.
Secundarios:
Identificar qu es la lgica proposicional.
Reconocer la utilidad de la lgica en la vida escolar y acadmica.
Definicin La lgica proposicional es un lenguaje formal que nos sirve para elaborar un anlisis preciso de los argumentos.
La lgica proposicional fue desarrollada por Gottlob Frege quien fue un filsofo y matemtico alemn.
Utilidad en la vida diaria La lgica proposicional nos ayuda a estructurar mejor nuestros argumentos y con ello podemos comunicarnos de manera ms clara y eficiente.
Para qu sirve la lgica
Para qu sirve la lgica IILa lgica sirve para no caer en contradicciones, incoherencias, pero sobre todo para expresarse y argumentar con calidad, lo cual se traduce en una mejor exposicin de nuestras ideas.
Lgica de las proposicionesLa lgica proposicional es un lenguaje formal que se compone de varios elementos que nos ayudan a estructurar argumentos.
Los elementos que componen a este sistema son
ProposicinValor de verdad Reglas de formacin Reglas de inferencia
Proposicin Una proposicin es una oracin acerca del mundo. En lgica proposicional una oracin se compone por sujeto, cpula (verbo) y predicado.
Valor de verdadEn lgica proposional nuestro sistema slo tiene dos posibles valores o funciones: Verdadero y/o Falso.
Reglas de formacin Las reglas de formacin se refieren al conjunto de normas que nos permitirn escribir y traducir del lenguaje cotidiano a nuestro lenguaje formal (estructuras) el significado y contenido a formas ms simples.
Las reglas de formacin en lgica proposicional comprendeAlfabeto que va de p a z.Signos auxiliares (), [], {}Conectivas lgicas
Conectivas lgicas Las conectivas lgicas nos permiten ligar proposiciones que tienen un valor de verdad.
Conclusin La lgica proposicional es un sistema que nos sirve para elaborar argumentos y analizarlos de mejor manera.
Mediante dicho anlisis podemos determinar si un argumento es valido o invalido.