SlideShare una empresa de Scribd logo
1 de 4
Descargar para leer sin conexión
LÓGICA PROPOSICIONAL.
Aprender matemáticas, física y química es muy difícil; así se expresan la mayoría de estudiantes de todos los
niveles, sin embargo pocas veces se busca una explicación del porqué no aprenden las ciencias exactas los
alumnos. Tal vez se deba a que Los alumnos no aprenden ciencias exactas, porque no saben relacionar las
conocimientos que se proporcionan en la escuela (leyes, teoremas, formulas) con los problemas que se le
presentan en la vida real. Otro problema grave es que el aprendizaje no es significativo. El presente módulo
pretende motivar a los estudiantes para que con ayuda de la lógica matemática, él sea capaz de encontrar
estos relacionamientos entre los diferentes esquemas de aprendizaje, para que de esta manera tenga una
buena estructura cognitiva. Consideramos que si el alumno sabe lógica matemática puede relacionar estos
conocimientos, con los de otras áreas para de esta manera crear conocimiento.

La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina
si un argumento es válido. La lógica es ampliamente aplicada en la filosofía, matemáticas, computación,
física. En la filosofía para determinar si un razonamiento es válido o no, ya que una frase puede tener
diferentes interpretaciones, sin embargo la lógica permite saber el significado correcto. En los matemáticos
para demostrar teoremas e inferir resultados matemáticos que puedan ser aplicados en investigaciones. En
la computación para revisar programas. En general la lógica se aplica en la tarea diaria, ya que cualquier
trabajo que se realiza tiene un procedimiento lógico, por ejemplo; para ir de compras al supermercado un
ama de casa tiene que realizar cierto procedimiento lógico que permita realizar dicha tarea. Si una persona
desea pintar una pared, este trabajo tiene un procedimiento lógico, ya que no puede pintar si antes no
prepara la pintura, o no debe pintar la parte baja de la pared si antes no pintó la parte alta porque se
mancharía lo que ya tiene pintado, también dependiendo si es zurdo o derecho, él puede pintar de
izquierda a derecha o de derecha a izquierda según el caso, todo esto es la aplicación de la lógica.

La lógica es pues muy importante; ya que permite resolver incluso problemas a los que nunca se ha
enfrentado el ser humano utilizando solamente su inteligencia y apoyándose de algunos conocimientos
acumulados, se pueden obtener nuevos inventos innovaciones a los ya existentes o simplemente utilización
de los mismos.

El orden en que se abordará el pensamiento lógico es el siguiente: Primeramente se establece la
importancia de la lógica matemática, después definimos el concepto de proposición. Se establece el
significado y utilidad de conectivos lógicos para formar proposiciones compuestas. Más tarde abordamos las
proposiciones condicionales y bicondicionales. Definimos tautología, contradicción y contingente, y
proporcionamos una lista de las tautologías más importantes, así mismo explicamos a que se le llama
proposiciones lógicamente equivalente apoyándonos de tablas de verdad. Para finalizar; abordamos los
métodos de demostración: directo y por contradicción, en donde incluye reglas de inferencia.

En este módulo se trata además de presentar las explicaciones con ejemplos que le sean familiares. Nuestro
objetivo es que el alumno aprenda a realizar demostraciones formales por el método directo y el método
por contradicción. Ya que la mayoría de los libros comerciales únicamente se quedan en explicación y
demostración de reglas de inferencia. Consideramos que sí el alumno aprende lógica matemática no tendrá
problemas para aprender ciencias exacta y será capaz de programar computadoras, ya que un programa de



                                                                                       Lic. Yeimsor Pabón M
computadora no es otra cosa que una secuencia de pasos lógicos, que la persona establece para resolver n
problema determinado.

Es importante mencionar que en las demostraciones no hay un solo camino para llegar al resultado. El
camino puede ser mas largo o más corto dependiendo de las reglas de inferencia y tautologías que el
alumno seleccione, pero definitivamente deberá llegar al resultado. Puede haber tantas soluciones como
alumnos se tenga en clase y todas estar bien. Esto permite que el estudiante tenga confianza en la
aplicación de reglas y fórmulas. De tal manera que cuando llegue a poner en practica esto, el sea capaz de
inventar su propia solución, porque en la vida cada quien resuelve sus problemas aplicando las reglas de
inferencia para relacionar los conocimientos y obtener el resultado.

DESARROLLO.

La lógica matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la lógica
proporciona reglas y técnicas para determinar si es o no valido un argumento dado. El razonamiento lógico
se emplea en matemáticas para demostrar teoremas; en ciencias de la computación para verificar si son o
no correctos los programas; en las ciencias física y naturales, para sacar conclusiones de experimentos; y
en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa
en forma constante el razonamiento lógico para realizar cualquier actividad.

PROPOSICIONES Y CONECTIVOS LÓGICOS.

Una proposición o enunciado es una oración que puede ser falsa o verdadera pero no ambas a la vez. La
proposición es un elemento fundamental de la lógica matemática.

A continuación se tienen algunos ejemplos de proposiciones válidas y no válidas, y se explica el porqué
algunos enunciados no son proposiciones. Las proposiciones se indican por medio de una letra minúscula,
dos puntos y la proposición propiamente dicha.

Ejemplo:

p:     La tierra es plana.

q:    -17 + 38 = 21

r:     x>y-9

s:    El Junior será campeón en la presente temporada de fútbol.

t:     Hola ¿como estas?

w:     Lava el coche por favor.

Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son proposiciones
validas. El inciso r también es una proposición valida, aunque el valor de falso o verdadero depende del
valor asignado a las variables x y y en determinado momento. La proposición del inciso s también esta
perfectamente expresada aunque para decir si es falsa o verdadera se tendría que esperar a que terminara

                                                                                       Lic. Yeimsor Pabón M
la temporada de fútbol. Sin embargo los enunciados t y w no son válidos, ya que no pueden tomar un valor
de falso o verdadero, uno de ellos es un saludo y el otro es una orden.
CLASES DE PROPOSICIONES

Hay dos clases de proposiciones:
Proposiciones Simples. Son aquellas proposiciones que no se pueden dividir. Ejemplo:

p: El cielo es azul. (Verdadero)

Proposiciones Compuestas. Son aquellas que están formadas por dos o más proposiciones simples unidas
por conectivos lógicos. Ejemplo:

        Los Patos nadan y vuelan.

La proposición anterior es compuesta porque está formada por dos proposiciones simples unidas por un
conectivo lógico (y), y por lo tanto se puede dividir, veamos como:

        P: los patos nadan
        q: los patos vuelan
Otros Ejemplos:
        Fui al banco, pero el banco estaba cerrado.

        Los lectores de este libro son jóvenes o universitarios

        Si el miércoles próximo me saco la lotería entonces te regalaré un auto.

Conectivos Lógicos.

Son aquellos que sirven para formar proposiciones compuestas.

         Conectores lógicos         Nombres           Símbolo
                no                  Negación             ~
                 y                 Conjunción            ˄
                 o                 Disyunción            v
         Si……. entonces……          Condicional           →
              Si y sólo si         Bicondicional        ↔

Ejemplo:
Negación.
       P: Juan conversa
       ~ p: Juan no conversa
Conjunción.
       P: La casa está sucia.
       Q: La empleada la limpia mañana
       P ˄ Q: La casa esta sucia y la empleada la limpia mañana



                                                                                       Lic. Yeimsor Pabón M
Disyunción.
       P: Pedro juega básquet
       Q: María juega fútbol
       p v q: Pedro juega básquet o María juega fútbol.
Condicional.
       p: Si me saco la lotería
       q: Te regalaré un carro
       P → q: Si me saco la lotería entonces te regalaré el carro.
Bicondicional.
       p: Simón Bolívar vive
       q: Montalvo está muerto
       p ↔ q: Simón Bolívar vive si y solo si Montalvo está muerto.

Actividad:

¿Crees que el estudio de la lógica y el desarrollo del pensamiento lógico son importantes? Explica.

Determina cuál de las siguientes expresiones son proposiciones.

    1.   Simón Bolívar murió en Colombia.
    2.   Buenos días!.
    3.   Colombia es un país suramericano.
    4.    Los peces son animales vertebrados.
    5.   ¿cuál es su nombre?
    6.   Brasil es el mejor equipo de futbol.
    7.   ¿cómo esta?

Forma proposiciones compuesta (una por cada conectivo lógico: ˄, v, →,↔) para cada una de las siguientes
proposiciones simples.

    1. p: 1 es un número impar      q: 3 es un número primo

    2. m: París se encuentra en Inglaterra      n: París está en Francia

    3. f: Alemania se encuentra en Europa          g: Londres está en Inglaterra

    4. r: Hoy es jueves      q: Hay clases de matemáticas




                                                                                       Lic. Yeimsor Pabón M

Más contenido relacionado

La actualidad más candente

Proposiciones y su clasificación
Proposiciones y su clasificaciónProposiciones y su clasificación
Proposiciones y su clasificación
angiegutierrez11
 
Sistema De Ecuaciones
Sistema De EcuacionesSistema De Ecuaciones
Sistema De Ecuaciones
IESY
 
Los 20 algoritmos matematicos mas importantes de la historia
Los 20 algoritmos matematicos mas importantes de la historiaLos 20 algoritmos matematicos mas importantes de la historia
Los 20 algoritmos matematicos mas importantes de la historia
lyonc357
 
3.1 definicion-y-clasificacion-de-ecuaciones-lineales
3.1 definicion-y-clasificacion-de-ecuaciones-lineales3.1 definicion-y-clasificacion-de-ecuaciones-lineales
3.1 definicion-y-clasificacion-de-ecuaciones-lineales
Carlita Vaca
 
Clausura transitiva de un grafo dirigido
Clausura transitiva de un grafo dirigidoClausura transitiva de un grafo dirigido
Clausura transitiva de un grafo dirigido
guest4b1d8bc
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
tarquinio4
 
Simetricas Y Transitivas
Simetricas Y TransitivasSimetricas Y Transitivas
Simetricas Y Transitivas
rezzaca
 
Ejercicios propuestos matrices, conmutables, idempotentes, nilpotente,equival...
Ejercicios propuestos matrices, conmutables, idempotentes, nilpotente,equival...Ejercicios propuestos matrices, conmutables, idempotentes, nilpotente,equival...
Ejercicios propuestos matrices, conmutables, idempotentes, nilpotente,equival...
algebra
 

La actualidad más candente (20)

Proposiciones y su clasificación
Proposiciones y su clasificaciónProposiciones y su clasificación
Proposiciones y su clasificación
 
Sistema De Ecuaciones
Sistema De EcuacionesSistema De Ecuaciones
Sistema De Ecuaciones
 
Los 20 algoritmos matematicos mas importantes de la historia
Los 20 algoritmos matematicos mas importantes de la historiaLos 20 algoritmos matematicos mas importantes de la historia
Los 20 algoritmos matematicos mas importantes de la historia
 
Qué es el álgebra simbólica
Qué es el álgebra simbólicaQué es el álgebra simbólica
Qué es el álgebra simbólica
 
3.1 definicion-y-clasificacion-de-ecuaciones-lineales
3.1 definicion-y-clasificacion-de-ecuaciones-lineales3.1 definicion-y-clasificacion-de-ecuaciones-lineales
3.1 definicion-y-clasificacion-de-ecuaciones-lineales
 
Teorema de tales
Teorema de talesTeorema de tales
Teorema de tales
 
Origen números imaginarios
Origen números imaginariosOrigen números imaginarios
Origen números imaginarios
 
Herramienta solver
Herramienta solverHerramienta solver
Herramienta solver
 
Grafos eulerianos y hamiltonianos
Grafos eulerianos y hamiltonianosGrafos eulerianos y hamiltonianos
Grafos eulerianos y hamiltonianos
 
Clausura transitiva de un grafo dirigido
Clausura transitiva de un grafo dirigidoClausura transitiva de un grafo dirigido
Clausura transitiva de un grafo dirigido
 
Metodo de gauss
Metodo de gaussMetodo de gauss
Metodo de gauss
 
Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
 
Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposiciones
 
APLICACCIÓN DE LA METODOLOGÍA ABP EN LA RESOLUCIÓN DE PROBLEMAS
APLICACCIÓN DE LA METODOLOGÍA ABP EN LA RESOLUCIÓN DE PROBLEMASAPLICACCIÓN DE LA METODOLOGÍA ABP EN LA RESOLUCIÓN DE PROBLEMAS
APLICACCIÓN DE LA METODOLOGÍA ABP EN LA RESOLUCIÓN DE PROBLEMAS
 
Leyes del álgebra de proposiciones
Leyes del álgebra de proposicionesLeyes del álgebra de proposiciones
Leyes del álgebra de proposiciones
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
 
Simetricas Y Transitivas
Simetricas Y TransitivasSimetricas Y Transitivas
Simetricas Y Transitivas
 
Leyes del algebra proposicional
Leyes del algebra proposicionalLeyes del algebra proposicional
Leyes del algebra proposicional
 
Ejercicios propuestos matrices, conmutables, idempotentes, nilpotente,equival...
Ejercicios propuestos matrices, conmutables, idempotentes, nilpotente,equival...Ejercicios propuestos matrices, conmutables, idempotentes, nilpotente,equival...
Ejercicios propuestos matrices, conmutables, idempotentes, nilpotente,equival...
 
Optimización
OptimizaciónOptimización
Optimización
 

Similar a Lógica proposicional

1 concepto de lógica matemática
1 concepto de lógica matemática1 concepto de lógica matemática
1 concepto de lógica matemática
1221s
 
TEXTO ACADEMICO SEMANA 1 LÓGICA MATEMÁTICA.pdf
TEXTO ACADEMICO SEMANA  1 LÓGICA MATEMÁTICA.pdfTEXTO ACADEMICO SEMANA  1 LÓGICA MATEMÁTICA.pdf
TEXTO ACADEMICO SEMANA 1 LÓGICA MATEMÁTICA.pdf
DIEGO423910
 
Apuntes logica proposicional
Apuntes logica proposicionalApuntes logica proposicional
Apuntes logica proposicional
Liliana Olaya
 

Similar a Lógica proposicional (20)

02 logmat
02 logmat02 logmat
02 logmat
 
Qué es la lógica matemática
Qué es la lógica matemáticaQué es la lógica matemática
Qué es la lógica matemática
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Brenda Orodoñez Rondon
Brenda Orodoñez RondonBrenda Orodoñez Rondon
Brenda Orodoñez Rondon
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Taller de lógica en matemáticas jhon tello ;)
Taller de lógica en matemáticas jhon tello ;)Taller de lógica en matemáticas jhon tello ;)
Taller de lógica en matemáticas jhon tello ;)
 
Logica matematica experiencia 2
Logica matematica experiencia 2Logica matematica experiencia 2
Logica matematica experiencia 2
 
Logica matematica experiencia 2
Logica matematica experiencia 2Logica matematica experiencia 2
Logica matematica experiencia 2
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
GUIADETRABAJO1PSTOMATE120211105.docx
GUIADETRABAJO1PSTOMATE120211105.docxGUIADETRABAJO1PSTOMATE120211105.docx
GUIADETRABAJO1PSTOMATE120211105.docx
 
1 concepto de lógica matemática
1 concepto de lógica matemática1 concepto de lógica matemática
1 concepto de lógica matemática
 
TEXTO ACADEMICO SEMANA 1 LÓGICA MATEMÁTICA.pdf
TEXTO ACADEMICO SEMANA  1 LÓGICA MATEMÁTICA.pdfTEXTO ACADEMICO SEMANA  1 LÓGICA MATEMÁTICA.pdf
TEXTO ACADEMICO SEMANA 1 LÓGICA MATEMÁTICA.pdf
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematica
 
Trabajo de logica matematica modalidad.
Trabajo de logica matematica modalidad.Trabajo de logica matematica modalidad.
Trabajo de logica matematica modalidad.
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematica
 
Apuntes logica proposicional
Apuntes logica proposicionalApuntes logica proposicional
Apuntes logica proposicional
 
Objetivo unidad 1 Estructuras Discretas - Gunther Saldivia ing computacion
Objetivo unidad 1 Estructuras Discretas  - Gunther Saldivia ing computacionObjetivo unidad 1 Estructuras Discretas  - Gunther Saldivia ing computacion
Objetivo unidad 1 Estructuras Discretas - Gunther Saldivia ing computacion
 
matematica.pdf
matematica.pdfmatematica.pdf
matematica.pdf
 

Más de yeimsor

Plan de clases fisica 11 periodo i
Plan de clases fisica 11  periodo iPlan de clases fisica 11  periodo i
Plan de clases fisica 11 periodo i
yeimsor
 
Programa de matematicas 8° a 11°.
Programa de matematicas  8° a 11°.Programa de matematicas  8° a 11°.
Programa de matematicas 8° a 11°.
yeimsor
 
Programa de matematicas 8° a 11°.
Programa de matematicas  8° a 11°.Programa de matematicas  8° a 11°.
Programa de matematicas 8° a 11°.
yeimsor
 
Programa de matematicas 8° a 11°
Programa de matematicas  8° a 11°Programa de matematicas  8° a 11°
Programa de matematicas 8° a 11°
yeimsor
 
Estándares básicos de competencias en matemáticas
Estándares básicos de competencias en matemáticasEstándares básicos de competencias en matemáticas
Estándares básicos de competencias en matemáticas
yeimsor
 
Estándares básicos de competencias en matemáticas
Estándares básicos de competencias en matemáticasEstándares básicos de competencias en matemáticas
Estándares básicos de competencias en matemáticas
yeimsor
 
Estándares básicos de competencias en matemáticas
Estándares básicos de competencias en matemáticasEstándares básicos de competencias en matemáticas
Estándares básicos de competencias en matemáticas
yeimsor
 
Lineamientos curriculares preescolar
Lineamientos curriculares preescolarLineamientos curriculares preescolar
Lineamientos curriculares preescolar
yeimsor
 

Más de yeimsor (13)

Plan de clases fisica 11 periodo i
Plan de clases fisica 11  periodo iPlan de clases fisica 11  periodo i
Plan de clases fisica 11 periodo i
 
Programa de matematicas 8° a 11°.
Programa de matematicas  8° a 11°.Programa de matematicas  8° a 11°.
Programa de matematicas 8° a 11°.
 
Programa de matematicas 8° a 11°.
Programa de matematicas  8° a 11°.Programa de matematicas  8° a 11°.
Programa de matematicas 8° a 11°.
 
Programa de matematicas 8° a 11°
Programa de matematicas  8° a 11°Programa de matematicas  8° a 11°
Programa de matematicas 8° a 11°
 
Yyyyy
YyyyyYyyyy
Yyyyy
 
....
........
....
 
...
......
...
 
..
....
..
 
.
..
.
 
Estándares básicos de competencias en matemáticas
Estándares básicos de competencias en matemáticasEstándares básicos de competencias en matemáticas
Estándares básicos de competencias en matemáticas
 
Estándares básicos de competencias en matemáticas
Estándares básicos de competencias en matemáticasEstándares básicos de competencias en matemáticas
Estándares básicos de competencias en matemáticas
 
Estándares básicos de competencias en matemáticas
Estándares básicos de competencias en matemáticasEstándares básicos de competencias en matemáticas
Estándares básicos de competencias en matemáticas
 
Lineamientos curriculares preescolar
Lineamientos curriculares preescolarLineamientos curriculares preescolar
Lineamientos curriculares preescolar
 

Último

Índigo Energía e Industria No. 15 - digitalización en industria farmacéutica
Índigo Energía e Industria No. 15 - digitalización en industria farmacéuticaÍndigo Energía e Industria No. 15 - digitalización en industria farmacéutica
Índigo Energía e Industria No. 15 - digitalización en industria farmacéutica
Indigo Energía e Industria
 

Último (14)

Boletín semanal informativo 18 Mayo 2024.pdf
Boletín semanal informativo 18 Mayo 2024.pdfBoletín semanal informativo 18 Mayo 2024.pdf
Boletín semanal informativo 18 Mayo 2024.pdf
 
Proponen la eliminación del Consejo de la Magistratura
Proponen la eliminación del Consejo de la MagistraturaProponen la eliminación del Consejo de la Magistratura
Proponen la eliminación del Consejo de la Magistratura
 
Informe sobre el Bono Verde en el Parque Eólico Arauco
Informe sobre el Bono Verde en el Parque Eólico AraucoInforme sobre el Bono Verde en el Parque Eólico Arauco
Informe sobre el Bono Verde en el Parque Eólico Arauco
 
Novedades Banderas Azules en España para el año 2024
Novedades Banderas Azules en España para el año 2024Novedades Banderas Azules en España para el año 2024
Novedades Banderas Azules en España para el año 2024
 
RELACIÓN DE PLAYAS GALARDONADAS 2024.pdf
RELACIÓN DE PLAYAS GALARDONADAS 2024.pdfRELACIÓN DE PLAYAS GALARDONADAS 2024.pdf
RELACIÓN DE PLAYAS GALARDONADAS 2024.pdf
 
Índigo Energía e Industria No. 15 - digitalización en industria farmacéutica
Índigo Energía e Industria No. 15 - digitalización en industria farmacéuticaÍndigo Energía e Industria No. 15 - digitalización en industria farmacéutica
Índigo Energía e Industria No. 15 - digitalización en industria farmacéutica
 
Impacto del desplazamiento como consecuencia de las etapas de gentrificación...
Impacto del desplazamiento como consecuencia de las etapas de gentrificación...Impacto del desplazamiento como consecuencia de las etapas de gentrificación...
Impacto del desplazamiento como consecuencia de las etapas de gentrificación...
 
PRECIOS_M_XIMOS_VIGENTES_DEL_12_AL_18_DE_MAYO_DE_2024.pdf
PRECIOS_M_XIMOS_VIGENTES_DEL_12_AL_18_DE_MAYO_DE_2024.pdfPRECIOS_M_XIMOS_VIGENTES_DEL_12_AL_18_DE_MAYO_DE_2024.pdf
PRECIOS_M_XIMOS_VIGENTES_DEL_12_AL_18_DE_MAYO_DE_2024.pdf
 
tandeos xalapa zona_alta_MAYO_2024_VF.pdf
tandeos xalapa zona_alta_MAYO_2024_VF.pdftandeos xalapa zona_alta_MAYO_2024_VF.pdf
tandeos xalapa zona_alta_MAYO_2024_VF.pdf
 
PROPUESTAS Y RECOMENDACIONES PARA UN NUEVO TRATO ENTRE EL ESTADO, LOS PUEBLOS...
PROPUESTAS Y RECOMENDACIONES PARA UN NUEVO TRATO ENTRE EL ESTADO, LOS PUEBLOS...PROPUESTAS Y RECOMENDACIONES PARA UN NUEVO TRATO ENTRE EL ESTADO, LOS PUEBLOS...
PROPUESTAS Y RECOMENDACIONES PARA UN NUEVO TRATO ENTRE EL ESTADO, LOS PUEBLOS...
 
LA HISTORIA E INICIO DEL CONFLICTO ÁRABE-ISRAELÍ
LA HISTORIA E INICIO DEL CONFLICTO ÁRABE-ISRAELÍLA HISTORIA E INICIO DEL CONFLICTO ÁRABE-ISRAELÍ
LA HISTORIA E INICIO DEL CONFLICTO ÁRABE-ISRAELÍ
 
Declaracion jurada de la ex vicepresidenta Cristina Fernández de Kirchner
Declaracion jurada de la ex vicepresidenta Cristina Fernández de KirchnerDeclaracion jurada de la ex vicepresidenta Cristina Fernández de Kirchner
Declaracion jurada de la ex vicepresidenta Cristina Fernández de Kirchner
 
ReglamentodelRegistrodeDeudoresAlimentariosMorosos (1).pdf
ReglamentodelRegistrodeDeudoresAlimentariosMorosos (1).pdfReglamentodelRegistrodeDeudoresAlimentariosMorosos (1).pdf
ReglamentodelRegistrodeDeudoresAlimentariosMorosos (1).pdf
 
LA CRÓNICA COMARCA DE ANTEQUERA _ Nº 1080
LA CRÓNICA COMARCA DE ANTEQUERA _ Nº 1080LA CRÓNICA COMARCA DE ANTEQUERA _ Nº 1080
LA CRÓNICA COMARCA DE ANTEQUERA _ Nº 1080
 

Lógica proposicional

  • 1. LÓGICA PROPOSICIONAL. Aprender matemáticas, física y química es muy difícil; así se expresan la mayoría de estudiantes de todos los niveles, sin embargo pocas veces se busca una explicación del porqué no aprenden las ciencias exactas los alumnos. Tal vez se deba a que Los alumnos no aprenden ciencias exactas, porque no saben relacionar las conocimientos que se proporcionan en la escuela (leyes, teoremas, formulas) con los problemas que se le presentan en la vida real. Otro problema grave es que el aprendizaje no es significativo. El presente módulo pretende motivar a los estudiantes para que con ayuda de la lógica matemática, él sea capaz de encontrar estos relacionamientos entre los diferentes esquemas de aprendizaje, para que de esta manera tenga una buena estructura cognitiva. Consideramos que si el alumno sabe lógica matemática puede relacionar estos conocimientos, con los de otras áreas para de esta manera crear conocimiento. La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un argumento es válido. La lógica es ampliamente aplicada en la filosofía, matemáticas, computación, física. En la filosofía para determinar si un razonamiento es válido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lógica permite saber el significado correcto. En los matemáticos para demostrar teoremas e inferir resultados matemáticos que puedan ser aplicados en investigaciones. En la computación para revisar programas. En general la lógica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lógico, por ejemplo; para ir de compras al supermercado un ama de casa tiene que realizar cierto procedimiento lógico que permita realizar dicha tarea. Si una persona desea pintar una pared, este trabajo tiene un procedimiento lógico, ya que no puede pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no pintó la parte alta porque se mancharía lo que ya tiene pintado, también dependiendo si es zurdo o derecho, él puede pintar de izquierda a derecha o de derecha a izquierda según el caso, todo esto es la aplicación de la lógica. La lógica es pues muy importante; ya que permite resolver incluso problemas a los que nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y apoyándose de algunos conocimientos acumulados, se pueden obtener nuevos inventos innovaciones a los ya existentes o simplemente utilización de los mismos. El orden en que se abordará el pensamiento lógico es el siguiente: Primeramente se establece la importancia de la lógica matemática, después definimos el concepto de proposición. Se establece el significado y utilidad de conectivos lógicos para formar proposiciones compuestas. Más tarde abordamos las proposiciones condicionales y bicondicionales. Definimos tautología, contradicción y contingente, y proporcionamos una lista de las tautologías más importantes, así mismo explicamos a que se le llama proposiciones lógicamente equivalente apoyándonos de tablas de verdad. Para finalizar; abordamos los métodos de demostración: directo y por contradicción, en donde incluye reglas de inferencia. En este módulo se trata además de presentar las explicaciones con ejemplos que le sean familiares. Nuestro objetivo es que el alumno aprenda a realizar demostraciones formales por el método directo y el método por contradicción. Ya que la mayoría de los libros comerciales únicamente se quedan en explicación y demostración de reglas de inferencia. Consideramos que sí el alumno aprende lógica matemática no tendrá problemas para aprender ciencias exacta y será capaz de programar computadoras, ya que un programa de Lic. Yeimsor Pabón M
  • 2. computadora no es otra cosa que una secuencia de pasos lógicos, que la persona establece para resolver n problema determinado. Es importante mencionar que en las demostraciones no hay un solo camino para llegar al resultado. El camino puede ser mas largo o más corto dependiendo de las reglas de inferencia y tautologías que el alumno seleccione, pero definitivamente deberá llegar al resultado. Puede haber tantas soluciones como alumnos se tenga en clase y todas estar bien. Esto permite que el estudiante tenga confianza en la aplicación de reglas y fórmulas. De tal manera que cuando llegue a poner en practica esto, el sea capaz de inventar su propia solución, porque en la vida cada quien resuelve sus problemas aplicando las reglas de inferencia para relacionar los conocimientos y obtener el resultado. DESARROLLO. La lógica matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido un argumento dado. El razonamiento lógico se emplea en matemáticas para demostrar teoremas; en ciencias de la computación para verificar si son o no correctos los programas; en las ciencias física y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante el razonamiento lógico para realizar cualquier actividad. PROPOSICIONES Y CONECTIVOS LÓGICOS. Una proposición o enunciado es una oración que puede ser falsa o verdadera pero no ambas a la vez. La proposición es un elemento fundamental de la lógica matemática. A continuación se tienen algunos ejemplos de proposiciones válidas y no válidas, y se explica el porqué algunos enunciados no son proposiciones. Las proposiciones se indican por medio de una letra minúscula, dos puntos y la proposición propiamente dicha. Ejemplo: p: La tierra es plana. q: -17 + 38 = 21 r: x>y-9 s: El Junior será campeón en la presente temporada de fútbol. t: Hola ¿como estas? w: Lava el coche por favor. Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son proposiciones validas. El inciso r también es una proposición valida, aunque el valor de falso o verdadero depende del valor asignado a las variables x y y en determinado momento. La proposición del inciso s también esta perfectamente expresada aunque para decir si es falsa o verdadera se tendría que esperar a que terminara Lic. Yeimsor Pabón M
  • 3. la temporada de fútbol. Sin embargo los enunciados t y w no son válidos, ya que no pueden tomar un valor de falso o verdadero, uno de ellos es un saludo y el otro es una orden. CLASES DE PROPOSICIONES Hay dos clases de proposiciones: Proposiciones Simples. Son aquellas proposiciones que no se pueden dividir. Ejemplo: p: El cielo es azul. (Verdadero) Proposiciones Compuestas. Son aquellas que están formadas por dos o más proposiciones simples unidas por conectivos lógicos. Ejemplo: Los Patos nadan y vuelan. La proposición anterior es compuesta porque está formada por dos proposiciones simples unidas por un conectivo lógico (y), y por lo tanto se puede dividir, veamos como: P: los patos nadan q: los patos vuelan Otros Ejemplos: Fui al banco, pero el banco estaba cerrado. Los lectores de este libro son jóvenes o universitarios Si el miércoles próximo me saco la lotería entonces te regalaré un auto. Conectivos Lógicos. Son aquellos que sirven para formar proposiciones compuestas. Conectores lógicos Nombres Símbolo no Negación ~ y Conjunción ˄ o Disyunción v Si……. entonces…… Condicional → Si y sólo si Bicondicional ↔ Ejemplo: Negación. P: Juan conversa ~ p: Juan no conversa Conjunción. P: La casa está sucia. Q: La empleada la limpia mañana P ˄ Q: La casa esta sucia y la empleada la limpia mañana Lic. Yeimsor Pabón M
  • 4. Disyunción. P: Pedro juega básquet Q: María juega fútbol p v q: Pedro juega básquet o María juega fútbol. Condicional. p: Si me saco la lotería q: Te regalaré un carro P → q: Si me saco la lotería entonces te regalaré el carro. Bicondicional. p: Simón Bolívar vive q: Montalvo está muerto p ↔ q: Simón Bolívar vive si y solo si Montalvo está muerto. Actividad: ¿Crees que el estudio de la lógica y el desarrollo del pensamiento lógico son importantes? Explica. Determina cuál de las siguientes expresiones son proposiciones. 1. Simón Bolívar murió en Colombia. 2. Buenos días!. 3. Colombia es un país suramericano. 4. Los peces son animales vertebrados. 5. ¿cuál es su nombre? 6. Brasil es el mejor equipo de futbol. 7. ¿cómo esta? Forma proposiciones compuesta (una por cada conectivo lógico: ˄, v, →,↔) para cada una de las siguientes proposiciones simples. 1. p: 1 es un número impar q: 3 es un número primo 2. m: París se encuentra en Inglaterra n: París está en Francia 3. f: Alemania se encuentra en Europa g: Londres está en Inglaterra 4. r: Hoy es jueves q: Hay clases de matemáticas Lic. Yeimsor Pabón M