12
Lógica, ¿para qué? Licenciado en Filosofía Mederick Andrade Moreno

Tarea 13 andrade

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.