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

La actualidad más candente (6)

A una hermosa dama de cabell negre
A una hermosa dama de cabell negreA una hermosa dama de cabell negre
A una hermosa dama de cabell negre
 
Diferencias entre heraclito y parmenides
Diferencias entre heraclito y parmenidesDiferencias entre heraclito y parmenides
Diferencias entre heraclito y parmenides
 
El amor en la literatura
El amor en la literaturaEl amor en la literatura
El amor en la literatura
 
La Oracion Simple
La Oracion SimpleLa Oracion Simple
La Oracion Simple
 
POESIA CATALANA Jordi de Sant Jordi i Ausiàs March
POESIA CATALANA Jordi de Sant Jordi i Ausiàs MarchPOESIA CATALANA Jordi de Sant Jordi i Ausiàs March
POESIA CATALANA Jordi de Sant Jordi i Ausiàs March
 
Terra baixa
Terra   baixaTerra   baixa
Terra baixa
 

Similar a Lógica proposicional

Brenda Orodoñez Rondon
Brenda Orodoñez RondonBrenda Orodoñez Rondon
Brenda Orodoñez RondonBrenda1326
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicionalKarlos Rivero
 
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 ;)jhontello80
 
GUIADETRABAJO1PSTOMATE120211105.docx
GUIADETRABAJO1PSTOMATE120211105.docxGUIADETRABAJO1PSTOMATE120211105.docx
GUIADETRABAJO1PSTOMATE120211105.docxCARLOSMARTINEZ532359
 
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ática1221s
 
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.pdfDIEGO423910
 
Logica matematica
Logica matematicaLogica matematica
Logica matematicageisonsaenz
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematicaMaria_Olave
 
Trabajo de logica matematica modalidad.
Trabajo de logica matematica modalidad.Trabajo de logica matematica modalidad.
Trabajo de logica matematica modalidad.olave_julian
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematicaFabian_Figueroa
 
Apuntes logica proposicional
Apuntes logica proposicionalApuntes logica proposicional
Apuntes logica proposicionalLiliana Olaya
 
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 computacionRespaldo 24 Web Hosting y Streaming
 

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 iyeimsor
 
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áticasyeimsor
 
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áticasyeimsor
 
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áticasyeimsor
 
Lineamientos curriculares preescolar
Lineamientos curriculares preescolarLineamientos curriculares preescolar
Lineamientos curriculares preescolaryeimsor
 

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

Partidos políticos, presentación sobre el partido político morena.
Partidos políticos, presentación sobre el partido político morena.Partidos políticos, presentación sobre el partido político morena.
Partidos políticos, presentación sobre el partido político morena.soffponce2
 
Boletín semanal informativo 15 Abril 2024
Boletín semanal informativo 15 Abril 2024Boletín semanal informativo 15 Abril 2024
Boletín semanal informativo 15 Abril 2024Nueva Canarias-BC
 
PRECIOS_M_XIMOS_VIGENTES_DEL_21_AL_27_DE_ABRIL_DE_2024.pdf
PRECIOS_M_XIMOS_VIGENTES_DEL_21_AL_27_DE_ABRIL_DE_2024.pdfPRECIOS_M_XIMOS_VIGENTES_DEL_21_AL_27_DE_ABRIL_DE_2024.pdf
PRECIOS_M_XIMOS_VIGENTES_DEL_21_AL_27_DE_ABRIL_DE_2024.pdfredaccionxalapa
 
generalidades-del-derecho-de-sucesiones (1).pptx
generalidades-del-derecho-de-sucesiones (1).pptxgeneralidades-del-derecho-de-sucesiones (1).pptx
generalidades-del-derecho-de-sucesiones (1).pptxSTEVINBRANDONHUAMANA
 
1er y 2do gobierno alan garcia final.pptx
1er y 2do gobierno alan garcia final.pptx1er y 2do gobierno alan garcia final.pptx
1er y 2do gobierno alan garcia final.pptxJohanaManuelaSolisPa
 
La Corte rechazó la demanda de Quintela contra DNU
La Corte rechazó la demanda de Quintela contra DNULa Corte rechazó la demanda de Quintela contra DNU
La Corte rechazó la demanda de Quintela contra DNUEduardo Nelson German
 
TERRASOL FELICITA A LILIANA ROJAS SILVA.pdf
TERRASOL FELICITA A LILIANA ROJAS SILVA.pdfTERRASOL FELICITA A LILIANA ROJAS SILVA.pdf
TERRASOL FELICITA A LILIANA ROJAS SILVA.pdfmegaradioexpress
 
Proyecto por la Regionalización y la Función Municipal
Proyecto por la Regionalización y la Función MunicipalProyecto por la Regionalización y la Función Municipal
Proyecto por la Regionalización y la Función MunicipalEduardo Nelson German
 
Proyecto sobre la Libertad de Conciencia Cívica
Proyecto sobre la Libertad de Conciencia CívicaProyecto sobre la Libertad de Conciencia Cívica
Proyecto sobre la Libertad de Conciencia CívicaEduardo Nelson German
 
Proyecto de reforma por los Derechos Políticos y Régimen Electoral
Proyecto de reforma por los Derechos Políticos y Régimen ElectoralProyecto de reforma por los Derechos Políticos y Régimen Electoral
Proyecto de reforma por los Derechos Políticos y Régimen ElectoralEduardo Nelson German
 
Observatorio Digital de los Gobernadores
Observatorio Digital de los GobernadoresObservatorio Digital de los Gobernadores
Observatorio Digital de los GobernadoresEconomis
 
concesion gruas ssp gruas m2 xalapa_.pdf
concesion gruas ssp gruas m2 xalapa_.pdfconcesion gruas ssp gruas m2 xalapa_.pdf
concesion gruas ssp gruas m2 xalapa_.pdfredaccionxalapa
 
Topología discursiva del Movimiento Justicialista
Topología discursiva del Movimiento JusticialistaTopología discursiva del Movimiento Justicialista
Topología discursiva del Movimiento JusticialistaJulio Otero Santamaría
 
Carta WPM petición alto al fuego en Gaza
Carta WPM petición alto al fuego en GazaCarta WPM petición alto al fuego en Gaza
Carta WPM petición alto al fuego en GazateleSUR TV
 
Proyecto para la reforma de la Función Judicial
Proyecto para la reforma de la Función JudicialProyecto para la reforma de la Función Judicial
Proyecto para la reforma de la Función JudicialEduardo Nelson German
 
MAPA DEL TALENTO 2023 de Cotec e Instituto Valenciano de Investigaciones Econ...
MAPA DEL TALENTO 2023 de Cotec e Instituto Valenciano de Investigaciones Econ...MAPA DEL TALENTO 2023 de Cotec e Instituto Valenciano de Investigaciones Econ...
MAPA DEL TALENTO 2023 de Cotec e Instituto Valenciano de Investigaciones Econ...DiariodeNoticiasZero
 
Proyecto para reformar la Libertad de Expresión
Proyecto para reformar la Libertad de ExpresiónProyecto para reformar la Libertad de Expresión
Proyecto para reformar la Libertad de ExpresiónEduardo Nelson German
 
IDEA Perú Percepciones sobre la Democracia y Valores Democráticos 2024.pdf
IDEA Perú Percepciones sobre la Democracia y Valores Democráticos 2024.pdfIDEA Perú Percepciones sobre la Democracia y Valores Democráticos 2024.pdf
IDEA Perú Percepciones sobre la Democracia y Valores Democráticos 2024.pdfEsauEspinozaCardenas
 
Horarios de cortes de luz en Los Ríos para este lunes, 22 de abril, según CNEL
Horarios de cortes de luz en Los Ríos para este lunes, 22 de abril, según CNELHorarios de cortes de luz en Los Ríos para este lunes, 22 de abril, según CNEL
Horarios de cortes de luz en Los Ríos para este lunes, 22 de abril, según CNELRobertoEspinozaMogro
 

Último (20)

Partidos políticos, presentación sobre el partido político morena.
Partidos políticos, presentación sobre el partido político morena.Partidos políticos, presentación sobre el partido político morena.
Partidos políticos, presentación sobre el partido político morena.
 
Boletín semanal informativo 15 Abril 2024
Boletín semanal informativo 15 Abril 2024Boletín semanal informativo 15 Abril 2024
Boletín semanal informativo 15 Abril 2024
 
PRECIOS_M_XIMOS_VIGENTES_DEL_21_AL_27_DE_ABRIL_DE_2024.pdf
PRECIOS_M_XIMOS_VIGENTES_DEL_21_AL_27_DE_ABRIL_DE_2024.pdfPRECIOS_M_XIMOS_VIGENTES_DEL_21_AL_27_DE_ABRIL_DE_2024.pdf
PRECIOS_M_XIMOS_VIGENTES_DEL_21_AL_27_DE_ABRIL_DE_2024.pdf
 
generalidades-del-derecho-de-sucesiones (1).pptx
generalidades-del-derecho-de-sucesiones (1).pptxgeneralidades-del-derecho-de-sucesiones (1).pptx
generalidades-del-derecho-de-sucesiones (1).pptx
 
1er y 2do gobierno alan garcia final.pptx
1er y 2do gobierno alan garcia final.pptx1er y 2do gobierno alan garcia final.pptx
1er y 2do gobierno alan garcia final.pptx
 
La Corte rechazó la demanda de Quintela contra DNU
La Corte rechazó la demanda de Quintela contra DNULa Corte rechazó la demanda de Quintela contra DNU
La Corte rechazó la demanda de Quintela contra DNU
 
TERRASOL FELICITA A LILIANA ROJAS SILVA.pdf
TERRASOL FELICITA A LILIANA ROJAS SILVA.pdfTERRASOL FELICITA A LILIANA ROJAS SILVA.pdf
TERRASOL FELICITA A LILIANA ROJAS SILVA.pdf
 
Proyecto por la Regionalización y la Función Municipal
Proyecto por la Regionalización y la Función MunicipalProyecto por la Regionalización y la Función Municipal
Proyecto por la Regionalización y la Función Municipal
 
Proyecto sobre la Libertad de Conciencia Cívica
Proyecto sobre la Libertad de Conciencia CívicaProyecto sobre la Libertad de Conciencia Cívica
Proyecto sobre la Libertad de Conciencia Cívica
 
Proyecto de reforma por los Derechos Políticos y Régimen Electoral
Proyecto de reforma por los Derechos Políticos y Régimen ElectoralProyecto de reforma por los Derechos Políticos y Régimen Electoral
Proyecto de reforma por los Derechos Políticos y Régimen Electoral
 
Observatorio Digital de los Gobernadores
Observatorio Digital de los GobernadoresObservatorio Digital de los Gobernadores
Observatorio Digital de los Gobernadores
 
concesion gruas ssp gruas m2 xalapa_.pdf
concesion gruas ssp gruas m2 xalapa_.pdfconcesion gruas ssp gruas m2 xalapa_.pdf
concesion gruas ssp gruas m2 xalapa_.pdf
 
Topología discursiva del Movimiento Justicialista
Topología discursiva del Movimiento JusticialistaTopología discursiva del Movimiento Justicialista
Topología discursiva del Movimiento Justicialista
 
Carta WPM petición alto al fuego en Gaza
Carta WPM petición alto al fuego en GazaCarta WPM petición alto al fuego en Gaza
Carta WPM petición alto al fuego en Gaza
 
Proyecto para la reforma de la Función Judicial
Proyecto para la reforma de la Función JudicialProyecto para la reforma de la Función Judicial
Proyecto para la reforma de la Función Judicial
 
MAPA DEL TALENTO 2023 de Cotec e Instituto Valenciano de Investigaciones Econ...
MAPA DEL TALENTO 2023 de Cotec e Instituto Valenciano de Investigaciones Econ...MAPA DEL TALENTO 2023 de Cotec e Instituto Valenciano de Investigaciones Econ...
MAPA DEL TALENTO 2023 de Cotec e Instituto Valenciano de Investigaciones Econ...
 
Proyecto para reformar la Libertad de Expresión
Proyecto para reformar la Libertad de ExpresiónProyecto para reformar la Libertad de Expresión
Proyecto para reformar la Libertad de Expresión
 
IDEA Perú Percepciones sobre la Democracia y Valores Democráticos 2024.pdf
IDEA Perú Percepciones sobre la Democracia y Valores Democráticos 2024.pdfIDEA Perú Percepciones sobre la Democracia y Valores Democráticos 2024.pdf
IDEA Perú Percepciones sobre la Democracia y Valores Democráticos 2024.pdf
 
LA CRÓNICA COMARCA DE ANTEQUERA _ Nº 1077
LA CRÓNICA COMARCA DE ANTEQUERA _ Nº 1077LA CRÓNICA COMARCA DE ANTEQUERA _ Nº 1077
LA CRÓNICA COMARCA DE ANTEQUERA _ Nº 1077
 
Horarios de cortes de luz en Los Ríos para este lunes, 22 de abril, según CNEL
Horarios de cortes de luz en Los Ríos para este lunes, 22 de abril, según CNELHorarios de cortes de luz en Los Ríos para este lunes, 22 de abril, según CNEL
Horarios de cortes de luz en Los Ríos para este lunes, 22 de abril, según CNEL
 

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